AADL模型代码自动生成技术研究

摘要：

随着嵌入式系统在安全关键领域的广泛应用,必须采用现代软件工程的技术进一步提高其可信性,以保证人们的生命安全.基于模型驱动方法,对AADL(体系结构分析设计语言)模型的框架代码自动生成技术进行了研究,提出了从AADL模型元素到C和Ada的语法元素的映射规则,由此实现了自动代码生成器generator并集成在开源工具OSATE中.最后通过一个实例,说明将AADL模型自动转换为框架代码后与模块代码结合的有效性.

关键词：体系结构分析设计语言、建模工具、代码自动生成技术、映射规则

所属期刊栏目：25

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目90718019;国家"863"计划资助项目2007AA010304

在线出版日期：2009-02-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：3631-3635