Title :
An AADL Model-Based Safety Analysis Method for Flight Control Software
Author :
Tao Zhang ; Yechun Jiang ; Junda Ye ; Cheng Jing ; Huamin Qu
Author_Institution :
Software & Microelectron. Inst., Northwestern Polytech. Univ., Xi´an, China
Abstract :
This paper proposes a model-based software safety analysis method for flight control software. Firstly, the AADL architecture model and error model of flight control software are constructed separately. Then we convert the AADL model of flight control software into extended Markov chain model. We can evaluate safety of software component by calculate the probability of component state in different hazardous levels with the extended Markov chain model. Finally, safety of entire flight control software system can be calculated according to AADL error states composition relation, which can avoid states explosion problem of Markov chain model.
Keywords :
Markov processes; aerospace computing; aerospace control; control engineering computing; software architecture; AADL architecture model; AADL error states composition relation; extended Markov chain model; flight control software; hazardous level; model-based software safety analysis; Aerospace control; Analytical models; Computational modeling; Computer architecture; Markov processes; Safety; Software; AADL model; Error annex; Markov chain; software safety;
Conference_Titel :
Computational Intelligence and Communication Networks (CICN), 2014 International Conference on
Print_ISBN :
978-1-4799-6928-9
DOI :
10.1109/CICN.2014.240
