A Transformation-Based Integrated Modular Avionics Software Model Construction Approach
A Transformation-Based Integrated Modular Avionics Software Model Construction Approach
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.
Dokumentinformationen
A Transformation-Based Integrated Modular Avionics Software Model Construction Approach
Applied Mechanics and Materials ; 668-669 ; 343-346
2014-10-08
4 pages
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
Ähnliche Titel
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