Research and Assessment of the Reliability of a Fault Tolerant Model Using AADL

Author

Zhang, Chenyu ; Yang, Zhiyi ; Dong, Yunwei

Author_Institution

Coll. of Comput., Northwestern Polytech. Univ. Xi´´an, Xi´´an

fYear

2008

fDate

13-15 Dec. 2008

Firstpage

45

Lastpage

52

Abstract

In order to solve the problem of the assessment of the reliability of the fault tolerant system, the work in this paper is devoted to analyze a subsystem of ATC (air traffic control system), and use AADL (architecture analysis and design language) to build its model. After describing the various software and hardware error states and as well as error propagation from hardware to software, the work builds the AADL error model and convert it to GSPN (general stochastic Petri net). Using current Petri Net technology to assess the reliability of the fault tolerant system which is based on ATC as the background, this paper receives good result of the experiment.

Keywords

Petri nets; air traffic control; software fault tolerance; AADL error model; ATC; GSPN; air traffic control system; architecture analysis; design language; fault tolerant system; general stochastic Petri net; reliability assessment; Automotive engineering; Fault tolerance; Fault tolerant systems; Hardware; Performance analysis; Process design; Redundancy; Reliability; XML; Yarn;

fLanguage

English

Publisher

ieee

Conference_Titel

Advanced Software Engineering and Its Applications, 2008. ASEA 2008

Conference_Location

Hainan Island

Print_ISBN

978-0-7695-3432-9

Type

conf

DOI

10.1109/ASEA.2008.21

Filename

4721310