In this paper we address the process of incremental certification/qualification of Integrated Modular Avionic (IMA) systems. The work aims to show that given a scalable avionics architecture we can apply a component-based development process and save some safety analysis effort by reusing design models for components. This creates a formal framework for IMA system safety assessment.
Demonstration of a formal method for incremental qualification of IMA systems
2008 IEEE/AIAA 27th Digital Avionics Systems Conference ; 5.D.3-1-5.D.3-8
2008-10-01
489191 byte
Conference paper
Electronic Resource
English
Demonstration of a Formal Method for Incremental Qualification of IMA Systems
BASE | 2008
|MAPS Hybrid Formal Qualification Performance Test Results
British Library Conference Proceedings | 1997
|Inspection Qualification and Performance Demonstration of NDT Methods at EDF
British Library Conference Proceedings | 1994
|Formal Methods Demonstration Project for Space Applications
British Library Conference Proceedings | 1995
|