面向国产机载操作系统的IMA软件代码生成方法

摘要：

随着航空电子系统复杂化的发展趋势及自主可控的要求,对这类复杂系统建模后如何自动生成面向国产机载操作系统的软件代码并验证模型/代码语义一致性具有重要研究意义.文章提出面向国产机载操作系统的航空电子软件代码自动生成方法.首先,使用AADL对综合化航空电子系统进行建模,设计AADL模型到源代码的转换规则,自动生成面向国产机载操作系统的平台相关代码及配置文件;其次,通过AGREE Annex和BLESS Annex契约对AADL模型进行形式化验证,并提出契约到C语言验证代码的转换规则,将验证代码与模型生成的源代码进行结合,部署在国产机载操作系统上进行仿真执行;最后,基于AADL开源建模环境OSATE设计并实现了代码自动生成工具,实验结果验证了方法和工具的有效性.

关键词：综合模块化航空电子系统、国产机载操作系统、AADL、代码生成、模型/代码语义一致性

所属期刊栏目：54

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

资助基金：国家自然科学基金;航空科学基金

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

页数：共6页

页码：84-88,93