-
题名面向国产机载操作系统的IMA软件代码生成方法
- 1
-
-
作者
凌仕翔
杨志斌
郭鹏
周勇
-
机构
南京航空航天大学
高安全系统的软件开发与验证技术工信部重点实验室
航空工业西安航空计算技术研究所
-
出处
《航空计算技术》
2024年第4期84-88,93,共6页
-
基金
国家自然科学基金项目(62072233)
航空科学基金项目资助(201919052002)。
-
文摘
随着航空电子系统复杂化的发展趋势及自主可控的要求,对这类复杂系统建模后如何自动生成面向国产机载操作系统的软件代码并验证模型/代码语义一致性具有重要研究意义。文章提出面向国产机载操作系统的航空电子软件代码自动生成方法。首先,使用AADL对综合化航空电子系统进行建模,设计AADL模型到源代码的转换规则,自动生成面向国产机载操作系统的平台相关代码及配置文件;其次,通过AGREE Annex和BLESS Annex契约对AADL模型进行形式化验证,并提出契约到C语言验证代码的转换规则,将验证代码与模型生成的源代码进行结合,部署在国产机载操作系统上进行仿真执行;最后,基于AADL开源建模环境OSATE设计并实现了代码自动生成工具,实验结果验证了方法和工具的有效性。
-
关键词
综合模块化航空电子系统
国产机载操作系统
AADL
代码生成
模型/代码语义一致性
-
Keywords
integrated avionic systems
domestic airborne operating system
architecture analysis and design language
code generation
model/code semantic consistency
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
