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

摘要：

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

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

分类号：TP311.5(计算技术、计算机技术)

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

在线出版日期：2020-06-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：52-59,88