登录    注册    忘记密码

期刊文章详细信息

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

Code automatic generation technology of AADL models

  

文献类型:期刊文章

作  者:刘雪琴[1,2] 桂盛霖[1,2] 罗蕾[1,2] 罗惠琼[1]

机构地区:[1]电子科技大学软件学院,成都610054 [2]北京科银京成技术有限公司成都研发中心,成都610051

出  处:《计算机应用研究》

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

年  份:2008

卷  号:25

期  号:12

起止页码:3631-3635

语  种:中文

收录情况:AJ、BDHX、BDHX2004、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、UPD、ZGKJHX、ZMATH、核心刊

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

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

分 类 号:TP311]

参考文献:

正在载入数据...

二级参考文献:

正在载入数据...

耦合文献:

正在载入数据...

引证文献:

正在载入数据...

二级引证文献:

正在载入数据...

同被引文献:

正在载入数据...

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心