DocumentCode :
3728742
Title :
A model driven multi-constraint safety analysis method for integrated modular avionics systems on time domain
Author :
Chengcong Si; Shihai Wang; Bin Liu
Author_Institution :
School of Reliability and Systems Engineering, Beihang University Science and Technology on Reliability and Environmental Engineering Laboratory, Beijing, China
fYear :
2015
Firstpage :
1
Lastpage :
6
Abstract :
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.
Keywords :
"Analytical models","Computer aided software engineering"
Publisher :
ieee
Conference_Titel :
Prognostics and System Health Management Conference (PHM), 2015
Type :
conf
DOI :
10.1109/PHM.2015.7380013
Filename :
7380013
Link To Document :
بازگشت