The Avionics system has been taking its transition from federated architecture to Integrated Modular Avionics (IMA) architecture. Meanwhile, consequent complexities and the isolation between IMA development and safety assessment made it difficult to perform a comprehensive certification for emergent system properties such as safety through traditional hazard analysis approaches. To address this issue, a framework for IMA safety assessment is proposed based on model-based engineering. It combines Intent Specification, a hierarchical requirement specification, and STAMP-based hazard analysis (STPA), a technique to identify safety constraints necessary for eliminating system hazards. A case study of an ARINC653-based platform is given to show how this method assists the development of IMA while fulfilling its safety requirements.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Filling the gap between IMA development and safety assessment through safety-driven model-based system engineering


    Contributors:
    Suo, Dajiang (author) / An, Jinxia (author) / Wu, Jianmin (author) / Zhu, Jihong (author)


    Publication date :

    2012-10-01


    Size :

    418133 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Filling the GAP between IMA development and safety assessment through safety-

    Suo, Dajiang / An, Jinxia / Wu, Jianmin et al. | IEEE | 2012

    Free access

    Model-Driven Development of Safety Architectures

    Denney, Ewen / Pai, Ganesh / Whiteside, Iain | IEEE | 2017


    Model-Driven Development of Safety Architectures

    Denney, Ewen / Pai, Ganesh / Whiteside, Iain | NTRS | 2017


    AIR FILLING SAFETY APPARATUS

    MAENAKA KATSUHIKO | European Patent Office | 2018

    Free access

    AIR-FILLING SAFETY COVER

    ASE MASAHIRO | European Patent Office | 2016

    Free access