基于模型的IMA时间资源配置验证方法研究

摘要：

综合模块化航空电子系统(IMA)在飞机机载航空电子系统领域应用广泛,已经成为飞机机载系统的重要的系统结构和发展趋势.IMA具有高安全性,资源共享和高度模块化综合化的特征,模块或组件间以AFDX网络连接.在IMA系统开发的过程中,为确保系统的可靠性和安全性,IMA资源配置必须是正确的和安全有效的.所以对IMA进行有效的系统资源配置并保证配置的正确性和安全性成为航电领域一项重要的研究内容.结合IMA系统的特征,提出了一种基于模型的IMA系统时间资源配置的验证方法.建立IMA系统时间行为的MARTE模型,使用可调度分析工具MAST,分析系统时间资源的可调度性,仿真分析、验证IMA配置与需求之间的满足性.并结合IMA系统中的一个水处理系统的实例来进行分析验证.

关键词：综合航电系统、模型驱动工程、MARTE、系统资源配置、MAST

所属期刊栏目：28

分类号：TP316.2(计算技术、计算机技术)

资助基金：国家"973"重点基础研究发展计划项目2014CB744903;中央高校基本科研业务费专项资金;江苏省研究生培养创新工程SJZZ160062

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

页数：共6页

页码：32-37