基于ARINC653的机载软件体系结构建模和代码生成技术研究
航空电子系统是安全关键的嵌入式系统,其对安全性和可靠性有更高的要求.如何开发安全可靠的机载软件,同时有效的控制开发时间和成本是当前面临的一个重大挑战.将软件体系结构从软件中抽取出来,得到独立的软件体系结构,可以实现单独分析和验证软件体系结构.在本文中,提出一种基于ARINC653规范的机载软件体系结构建模方法,并以此模型为基础生成机载软件框架C代码和配置文件.从任务、分区和模块三个层次描述基于ARINC653机载软件体系结构模型,定义了描述模型的语法.详细讨论了从模型生成软件框架C代码的具体算法.最后使用实现的工具进行了软件体系结构建模和软件架构代码生成的实验。
航空机载软件 结构建模 代码生成技术 分区实时操作系统标准
王磊 马殿富 赵永望 赵宪琦
北京航空航天大学计算机学院 北京 100191
国内会议
江西九江
中文
268-277
2014-09-01（万方平台首次上网日期，不代表论文的发表时间）