Demonstration of a formal method for incremental qualification of IMA systems

Abstract

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)

Topics

8 Figures and Tables

Slides referencing similar topics