Architectural considerations in integrated modular avionics (IMA) system safety case construction

This article presents a systematic approach to using a safety argument notation-GSN-to construct a safety case for IMA systems. Starting from a goal-structured representation of the safety arguments, we have shown how the FDAS goals (safety requirements) can be supported by the available evidence. We have also defined some scenarios to help the revision of the safety case that is already constructed. There are several relatively new certification standards mentioned in this article related to IMA system certification, and the avionics industry has little experience in complying with them individually. It is a challenge for integrators that use those certification standards within a unified framework through GSN, and it will be the research direction of our future work.

[1]  Nurlida Basir,et al.  Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code , 2009, Electron. Notes Theor. Comput. Sci..

[2]  John A. McDermid,et al.  A systematic approach to safety case maintenance , 1999, Reliab. Eng. Syst. Saf..

[3]  Tim Kelly,et al.  Do safety cases have a role in aircraft certification , 2011 .

[4]  Iain Bate.  Systematic approaches to understanding and evaluating design trade-offs , 2008, J. Syst. Softw..

[5]  Iain Bate,et al.  Architectural considerations in the certification of modular systems , 2002, Reliab. Eng. Syst. Saf..

[6]  Leonard J. Bass,et al.  SAAM: a method for analyzing the properties of software architectures , 1994, Proceedings of 16th International Conference on Software Engineering.

[7]  P. G. Brabazon,et al.  Exploring the Role and Content of the Safety Case , 2004 .

[8]  Tim Kelly,et al.  Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety , 2007, SAFECOMP.

[9]  Tim Kelly,et al.  The Goal Structuring Notation – A Safety Argument Notation , 2004 .

[10]  Steven Corns,et al.  Arguing Security of Generic Avionic Mission Control Computer System (MCC) using Assurance Cases , 2011, Complex Adaptive Systems.

[11]  C.B. Watkins,et al.  Transitioning from federated avionics architectures to Integrated Modular Avionics , 2007, 2007 IEEE/AIAA 26th Digital Avionics Systems Conference.

[12]  Huagang Xiong,et al.  Design of Energy-efficient Hierarchical Scheduling for Integrated Modular Avionics Systems , 2012 .

[13]  Patrick D.T. O'Connor.  Standards in reliability and safety engineering , 1998 .

[14]  L.W.D. Cullen,et al.  The public inquiry into the Piper Alpha disaster , 1993 .

[15]  Paul Clements,et al.  ATAM: Method for Architecture Evaluation , 2000 .

[16]  Leonard J. Bass,et al.  Scenario-Based Analysis of Software Architecture , 1996, IEEE Softw..