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

Research on Time Resource Configuration Verification Based on Model for IMA Systems

作　　者：王明明[1] 胡军[1] 张维珺 李宛倩 WANG Ming-ming;HU Jun;ZHANG Wei-jun;LI Wan-qian(School of Computer Science and Technology ,Nanjing University of Aeronautics and Astronautics, Nanjing 211106 ,China)

机构地区：[1]南京航空航天大学计算机科学与技术学院,江苏南京211106

出　　处：《计算机技术与发展》2018年第5期32-37,共6页Computer Technology and Development

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

摘　　要：综合模块化航空电子系统(IMA)在飞机机载航空电子系统领域应用广泛,已经成为飞机机载系统的重要的系统结构和发展趋势。IMA具有高安全性,资源共享和高度模块化综合化的特征,模块或组件间以AFDX网络连接。在IMA系统开发的过程中,为确保系统的可靠性和安全性,IMA资源配置必须是正确的和安全有效的。所以对IMA进行有效的系统资源配置并保证配置的正确性和安全性成为航电领域一项重要的研究内容。结合IMA系统的特征,提出了一种基于模型的IMA系统时间资源配置的验证方法。建立IMA系统时间行为的MARTE模型,使用可调度分析工具MAST,分析系统时间资源的可调度性,仿真分析、验证IMA配置与需求之间的满足性。并结合IMA系统中的一个水处理系统的实例来进行分析验证。Integrated modular avionics system （IMA） is widely used in the field of the airborne avionics system and has become the im- portant system architecture and development trend in the avionics systems. IMA are characterized by high safety ,resource sharing and the highly modular integrated, where the modules or components are connected by AFDX network. In the development of IMA system,in or- der to ensure the reliability and safety of the system,I/VIA resources allocation must be correct,safe and effective. Therefore,it is an im- portant research content in avionics field to carry out effective system resource allocation and guarantee the correctness and safety of the configuration. Combining the feature of IMA system, we propose a model-based time resources configuration validation method for IMA system. The MARTE model of IMA system time behavior is set up,and MAST ,a schedulable analysis tool,is used to analyze the schedu- lability of system time resources and simulate and verify the satisfaction between IMA configuration and requirements. Finally, a case of WaterAndWaste system is given to illustrate the validity of the method.

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

分 类 号：TP316.2[自动化与计算机技术—计算机软件与理论]