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

被引：0

作者：

Zhang, Chenyu ^{[1
]}

Yang, Zhiyi ^{[1
]}

Dong, Yunwei ^{[1
]}

机构：

[1] NW Polytech Univ, Coll Comp, Xian 710072, Peoples R China

来源：

PROCEEDINGS OF THE 2008 ADVANCED SOFTWARE ENGINEERING & ITS APPLICATIONS | 2008年

关键词：

D O I：

10.1109/ASEA.2008.21

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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 A TC as the background, this paper receives good result of the experiment.

引用

页码：45 / 52

页数：8

共 13 条

[1] BERNARDI S, 2007, LECT CONCURRENCY PET, P1611
[2] A fault-tolerant approach to test control utilizing dual-redundant processors
Dabney, Richard W.
Etzkorn, Letha
Cox, Glenn W.
[J]. ADVANCES IN ENGINEERING SOFTWARE, 2008, 39 (05) : 371 - 383
[3] Feiler P. H., 2007, DEPENDABILITY MODELI
[4] Feiler P. H., 2006, ARCHITECTURE ANAL DE
[5] Dependability evaluation of an air traffic control computing system
Fota, N
Kaâniche, M
Kanoun, K
[J]. PERFORMANCE EVALUATION, 1999, 35 (3-4) : 253 - 273
[6] International Society of Automotive Engineers, 2006, SAEAS55061
[7] Fault-tolerant system dependability - Explicit modeling of hardware and software component-interactions
Kanoun, K
Ortalo-Borrel, M
[J]. IEEE TRANSACTIONS ON RELIABILITY, 2000, 49 (04) : 363 - 376
[8] A classification and comparison framework for software architecture description languages
Medvidovic, N
Taylor, RN
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (01) : 70 - 93
[9] Rugina A.E., 2005, SYSTEM DEPENDABILITY
[10] Rugina AE, 2007, LECT NOTES COMPUT SC, V4615, P14

← 1 2 →