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

作     者：刘雪琴 桂盛霖 罗蕾 罗惠琼 LIU Xue-qin;GUI Sheng-lin;LUO Lei;LUO Hui-qiong

作者机构：电子科技大学软件学院成都610054 北京科银京成技术有限公司成都研发中心成都610051 

基　　金：国家自然科学基金资助项目(90718019) 国家“863”计划资助项目(2007AA010304) 

出 版 物：《计算机应用研究》 (Application Research of Computers)

年 卷 期：2008年第25卷第12期

页      码：3631-3635页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1001-3695.2008.12.030

馆 藏 号：203102511...