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.