Ensuring that avionics software meets safety requirements at each development stage is very important to warrant the safe operation of an avionics system. Many safety requirements are imposed by various standards and industrial regulations that must be met by avionics software. One of such standards is DO-178B/C, which provides guidelines (e.g. development process and the objectives to satisfy in development activities) for meeting the safety requirements. This paper presents a modeling methodology including a UML profile for specifying safety requirements on a component-based architecture model and a set of design guidelines on avionics software. These safety requirements were identified from both standards (mainly DO-178B/C) and current engineering practices in the domain of avionics system. The methodology enforces safety requirements automatically. We have applied the methodology on an industrial autopilot system and several previously uncaught faults were revealed.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study


    Beteiligte:
    Wu, Ji (Autor:in) / Yue, Tao (Autor:in) / Ali, Shaukat (Autor:in) / Zhang, Huihui (Autor:in)


    Erscheinungsdatum :

    01.07.2013


    Format / Umfang :

    790594 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Ensuring Safety and Security for Avionics: A Case Study

    Laarouchi, Y. / Deswarte, Y. / Powell, D. et al. | British Library Conference Proceedings | 2009


    Ensuring Reliability of Avionics Systems

    Preston, Brian | Emerald Group Publishing | 1986


    Software architecture concepts for avionics

    Berk, J.V. / Muntz, A.H. / Stevens, P.R. | Tema Archiv | 1989


    Reusing Safety-Critical Avionics Software

    King, Tim | SAE Technical Papers | 2012