A model driven multi-constraint safety analysis method for integrated modular avionics systems on time domain

Integrated Modular Avionics (IMA) system is real-time and safety-critical system. Architecture Analysis and Design Language (AADL) is a standard modeling language, which has been widely used in modeling and analyzing real-time embedded systems, especially in avionics systems. The analysis of IMA systems on time domain is mainly about the verification of configuration information. However, it is only concerned about one or two constraints when it comes to safety constraint. In this paper, a new approach to safety analysis of IMA partition scheduling concerning about multi-constraint is introduced. Modeling the partitioned system with AADL and its extended property set is necessary to analyze the system. Four constraints and corresponding decision conditions are proposed to improve safety of the system. Then, the configuration file can be judged if it is eligible to the schedulability demands. The method proposed in this paper can help system integrators to do a right configuration on time domain. An example of IMA system is given in this paper as well to demonstrate our method, the model described by AADL and the analysis result is also given.