Modern avionic software usually runs on the ARINC653-compatible OS based on the Integrated Modular Avionics (IMA) architecture. Although existing ARINC653 annex of Architecture Analysis & Design Language (AADL) can be used to construct IMA models straightforward, it is still hard and error-prone work for avionics engineers because of the complexity of ARINC653 and manual modeling. Therefore, a hierarchical transformation-based approach is proposed to obtain correct IMA models step by step from general AADL models, rather than its ARINC653 annex. The typical transformation algorithm is given and a tool is also developed to help accomplish this approach automatically and effectively.
A Transformation-Based Integrated Modular Avionics Software Model Construction Approach
Applied Mechanics and Materials ; 668-669 ; 343-346
2014-10-08
4 pages
Article (Journal)
Electronic Resource
English
Safety-Critical Software in Modern Integrated Modular Avionics Systems
British Library Conference Proceedings | 2009
|Cost Effective Integrated Modular Avionics
British Library Conference Proceedings | 1996
|Modular Integrated Avionics Group (MIAG)
British Library Conference Proceedings | 1994
|SEcuring Integrated Modular Avionics Computers
IEEE | 2013
|