摘要：嵌入式系统开发与传统软件开发有着很大不同.嵌入式系统具有内核小、专用性强、高时效性、高可靠性、目标平台复杂等特点,这就对系统设计者提出更高的要求.面对目前嵌入式系统开发过程中的这些问题,尤其针对开发过程复杂,程序自动化程度不高等问题,提出一种基于Esterel代码自动生成的方法.该方法主要利用Esterel语言来对目标系统进行建模,实现将同一个Esterel模型编译为多个目标平台的代码.通过操作系统(OS)抽象层的设计,使系统开发人员不用关心目标平台相关的实现细节,更加容易进行多目标平台程序设计,从而实现嵌入式系统的程序设计自动化.通过实验表明,Esterel模型可以正确、高效地编译为多目标平台的代码,实现目标平台代码的自动生成.

摘要：针对活动图能够比状态图更自然和直观地显示程序的并发行为,为达到图形化描述程序的并发行为并自动生成代码的目标,通过分析活动图的图元语义,以fork、join、activity、initial、activity final、flow final等6个图元作为图形建模和代码生成的基础,提出了一套代码自动生成算法.该算法把活动图拆分成若干独立的活动子图;再把每个活动子图解析成若干进程和信号量;最后对每一个进程和信号量进行代码生成.实验证明,基于本算法开发的原型系统取得了较满意的效果,同时也证明了所提出的方法和算法的正确性、有效性.

摘要：设计和实现一种针对多用户界面应用系统的专用CASE平台,提出在这种CASE平台中具有新意且实用的代码自动生成方法.在论述作为代码自动生成机制的EFSM的定义基础上,通过实例介绍了在这种CASE平台中基于设计模型提取资源、建立EFSM模型,直到生成代码的全过程,进而验证了多用户界面应用系统平台上基于EFSM的代码自动生成机制的可行性.

摘要：针对传统数控系统开发方法存在的问题,提出基于领域建模的数控系统开发方法,将领域元模型设计、模型转换、代码自动生成作为主要研究对象,介绍数控系统元模型的基于多视角的构建过程,分析数控系统代码自动生成的原理及步骤,阐述基于映射规则库及代码模板库的模型映射过程。通过三轴数控车床的设计实例,证实该方案的可行性及有效性。

摘要：体系结构分析设计语言(AADL)是一种基于模型驱动体系结构的建模语言,针对如何将AADL模型自动生成框架代码的问题,提出AADL模型元素同C语言元素间的转换规则,设计AADL模型转换为C语言框架代码的自动代码生成器Generator。实例证明了AADL模型自动转换为可执行C代码的有效性。

摘要：Matlab集成的DSP开发模式是基于模型的图形化设计方法,自动生成符合工程实际的代码,打破了传统设计方法逐行手工编写代码的局限性。提出了基于Matlab和Target for TI C2000工具箱机电系统实时控制平台的设计,通过SVPWM波形的代码自动生成实验及其带三相异步电机运行情况,验证了平台设计方案的可行性。对实时控制平台的应用进行举例探讨,Simulink框图可以自动下载到DSP板上进行测试和运行。平台集成环境高效快捷,模型代码自动生成,可以有效缩短开发周期,减少开发风险,增加研发竞争力。

摘要：代码不够全面就会导致代码自动生成的小程序存有漏洞,为了确保代码自动生成小程序的安全性,就需要设计对代码自动生成的小程序漏洞实时检测系统,为此提出代码自动生成的小程序漏洞实时检测系统设计方法。该方法在系统中设计了多种不同的软件,利用软件采集小程序中的漏洞数据,便于后续的检测;同时在系统中设计不同的硬件功能模块,其中任务管理功能模块发挥着重要作用,该模块能够有效地分配检测任务,大大地提升了系统检测效率,基于设计的软件和硬件,实现检测系统的整体设计。实验结果表明,通过对该方法开展漏洞检测个数测试、耗时测试和漏检个数测试,验证了该方法的精准性强、可靠性高。

摘要：提出了平方根升余弦(SRRC)滤波器的一种直接型对称折叠和流水线加法树的规整结构.鉴于这种结构的规则特性,提出了一种对滤波器的阶数、滤波器系数精度以及输入输出数据宽度进行配置的代码自动生成方法,采用该方法可以方便快捷地实现可应用于不同系统中的相同结构、不同阶数、精度的SRRC滤波器.采用该结构,一个257阶的SRRC滤波器,只消耗86 315门,即可达到168.9 MHz的工作频率,具有很好的速率面积比.

摘要：为进一步推广 U ML 这一主流面向对象方法的建模标准的实际应用 ,研究基于 UML 软件开发过程的可视化 CASE平台的体系结构 ,探讨面向对象的通用代码生成机制 .设计了目标语言 C+ +的代码生成结构 ,分析了模型中各种建模元素与生成的源代码之间的映射关系 ,提出了代码生成器由模型检查子系统、模型属性设置子系统和代码生成子系统 3部分构成 .最终实现了基于 U ML 可视化 CASE平台的 C+

摘要：为快速开发嵌入式应用中的接口通讯程序,提高其效率和可靠性,本文提出了一种基于ICD的代码自动生成技术。首先确定了目标代码的形式,通过设计系统结构、建立驱动模型和代码生成单元结构,最终实现了代码生成器。本文设计的代码生成器,能够根据ICD数据库自动生成符合ANSIC标准的接口通讯程序,并在某航天工程的集成仿真测试系统中得到应用验证。