计算机技术与发展2018，Vol.28Issue(5)：32-37,6.DOI:10.3969/j.issn.1673-629X.2018.05.008
基于模型的IMA时间资源配置验证方法研究
Research on Time Resource Configuration Verification Based on Model for IMA Systems
摘要
Abstract
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,IMA 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/系统资源配置/MASTKey words
integrated modular avionics/model driven engineering/MARTE/system resource configuration/MAST分类
信息技术与安全科学引用本文复制引用
王明明,胡军,张维珺,李宛倩..基于模型的IMA时间资源配置验证方法研究[J].计算机技术与发展,2018,28(5):32-37,6.基金项目
国家"973"重点基础研究发展计划项目(2014CB744903) （2014CB744903）
中央高校基本科研业务费专项资金 （）
江苏省研究生培养创新工程(SJZZ160062) （SJZZ160062）
