Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
