In this paper we address the process ofincremental certification/qualification of IntegratedModular Avionic (IMA) systems. The work aims toshow that given a scalable avionics architecture wecan apply a component-based development processand save some safety analysis effort by reusingdesign models for components. This creates aformal framework for IMA system safetyassessment.
Demonstration of a Formal Method for Incremental Qualification of IMA Systems
2008-01-01
Conference paper
Electronic Resource
English
DDC: | 000 |
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
|