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

• 作者: 冯思喆 杨志斌 薛垒
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 安全关键软件 模型驱动开发方法 AADL Ada 代码自动生成
• 年，卷（期）: 2020,（6）
• 所属期刊栏目: 软件工程
• 页码范围: 52-59,88
• 页数: 9页
• 分类号: TP311.5
• 字数: 6378字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2020.06.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨志斌	南京航空航天大学计算机科学与技术学院	7	10	1.0	3.0
5	冯思喆	南京航空航天大学计算机科学与技术学院	1	0	0.0	0.0
9	薛垒		2	1	1.0	1.0