Demonstration of a formal method for incremental qualification of IMA systems


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… (More)


8 Figures and Tables

Slides referencing similar topics