基于AADL的航天嵌入式软件Ada代码自动生成方法

作     者：冯思喆 杨志斌 薛垒 FENG Si-zhe;YANG Zhi-bin;XUE Lei

作者机构：南京航空航天大学计算机科学与技术学院江苏南京211106 高安全系统的软件开发与验证技术工信部重点实验室江苏南京211106 上海航天电子技术研究所上海201109 

基　　金：国家自然科学基金资助项目(61502231) 国家重点研发计划项目(2016YFB1000802) GF基础科研重点项目(JCKY2016203B011) 江苏省自然科学基金资助项目(BK20150753) 中央高校基本科研业务费专项资金资助项目(NP2017205) 南京航空航天大学研究生创新基地(实验室)开放基金资助项目(kfjj20181603) 

出 版 物：《计算机与现代化》 (Computer and Modernization)

年 卷 期：2020年第6期

页      码：52-59,88页

摘      要：模型驱动开发方法逐渐应用于航空航天等领域的安全关键软件设计与实现中。体系结构分析设计语言(Architecture Analysis and Design Language,AADL)是一种标准化的嵌入式软件体系结构描述语言,通过建模、验证以及代码自动生成为安全关键软件的设计与实现提供完整支持。然而,工业界实际代码是运行在具有不同特性的目标平台上的,例如不同的软硬件体系结构和编程接口,而现有AADL代码生成研究主要是通过手工将自动生成的代码集成到平台当中,存在工作繁琐且易出错的问题。为此,本文提出一种基于AADL的航天嵌入式软件Ada代码自动生成方法。首先,给出卫星姿轨控系统的AADL建模;其次,给出AADL到平台相关的Ada代码自动转化规则;最后,给出代码生成原型工具,并对卫星姿轨控系统AADL模型所生成的代码进行航天编码规范检查,并运行在相关仿真环境中,验证了本文所提方法的有效性。

主 题 词：安全关键软件 模型驱动开发方法 AADL Ada 代码自动生成 

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

D　O　I：10.3969/j.issn.1006-2475.2020.06.009

馆 藏 号：203933674...