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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Transformation-Based Integrated Modular Avionics Software Model Construction Approach



    Erschienen in:

    Erscheinungsdatum :

    08.10.2014


    Format / Umfang :

    4 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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


    Integrated Modular Avionics safety analysis approach based on components

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


    Modular Integrated Avionics Group (MIAG)

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