计算机与现代化Issue(6)：52-59,88,9.DOI:10.3969/j.issn.1006-2475.2020.06.009
基于AADL的航天嵌入式软件Ada代码自动生成方法
Automatic Generation Method of Ada Code for Aerospace Embedded Software Based on AADL
摘要
关键词
安全关键软件/模型驱动开发方法/AADL/Ada/代码自动生成分类
信息技术与安全科学引用本文复制引用
冯思喆,杨志斌,薛垒..基于AADL的航天嵌入式软件Ada代码自动生成方法[J].计算机与现代化,2020,(6):52-59,88,9.基金项目
国家自然科学基金资助项目(61502231) （61502231）
国家重点研发计划项目(2016YFB1000802) （2016YFB1000802）
GF 基础科研重点项目(JCKY2016203B011) （JCKY2016203B011）
江苏省自然科学基金资助项目(BK20150753) （BK20150753）
中央高校基本科研业务费专项资金资助项目(NP2017205) （NP2017205）
南京航空航天大学研究生创新基地(实验室)开放基金资助项目(kfjj20181603) （实验室）
