关键词: 机载软件,实时性,综合模块化航电,模型转换,Simulink仿真

Abstract: How to ensure an avionics software satisfies its real-time requirement is always a hot research problem.According to the results reported in industry,the earlier the defects found,the less cost to fix them to improve the chances of not missing deadlines.For avionics software running on integrated modular avionics (IMA) which is standardized by the ARINC653,people can use` the following method.The design model (in UML) of avionics software is transformed into simulation model (in Simulink),and the potential real time problems are investigated by executing the simulated models in the platform of Simulink.Since avionics software may have plenty of interactions with IMA platform (i.e.,interface layer and operating system layer) to apply resources to use,or to communicate with other applications,a respective simulation module was designed to simulate the behavior of IMA platform.An industrial case study was used to demonstrate the effectiveness of the proposed approach.

Key words: Avionics software,Real-time,IMA,Model transformation,Simulink simulation