A Component Based Methodology for Description of Complex Systems. An Application to Avionics Systems

Abstract

In this paper, we present a component based methodology for the description of complex systems and its application to the field of avionics components design. Avionics design involves several engineering branches, namely physics, electronics and computational science. Three viewpoints are extracted from this context: architectural, operating and functional viewpoints. The case study we use to illustrate this paper describes the compositional design of a subsystem of an aircraft's flight controls. We show the description and composition of multiple viewpoints, the expression of critical properties on independent viewpoints, as well as on the resulting composite system. In a second step, we discuss how existing formal specification and verification techniques can be used to achieve requirement meeting verification. An application on the case study is also provided