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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A Transformation-Based Integrated Modular Avionics Software Model Construction Approach



    Published in:

    Publication date :

    2014-10-08


    Size :

    4 pages




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English




    Integrated Modular Avionics safety analysis approach based on components

    Yue Shen, / Yong Cai, / Xushuang Chen, | IEEE | 2016


    Safety-Critical Software in Modern Integrated Modular Avionics Systems

    Klicker, M. / Ruess, H. / Pape, W. et al. | British Library Conference Proceedings | 2009


    Cost Effective Integrated Modular Avionics

    Grove, J. R. / Coker, R. J. / IEEE; Dayton Section et al. | British Library Conference Proceedings | 1996


    Modular Integrated Avionics Group (MIAG)

    Dialameh, O. / Association for Unmanned Vehicle Systems | British Library Conference Proceedings | 1994


    Securing Integrated Modular Avionics computers

    Dessiatnikoff, Anthony / Nicomette, Vincent / Alata, Eric et al. | IEEE | 2013