Performability analysis of avionics system with multilayer HM/FM using stochastic Petri nets

被引：10

作者：

Wan Jianxiong ^{[1
,2
]}

Xiang Xudong ^{[1
,2
]}

Bai Xiaoying ^{[2
,3
]}

Lin Chuang ^{[2
]}

Kong Xiangzhen ^{[2
]}

Li Jianxiang ^{[2
]}

机构：

[1] Univ Sci & Technol Beijing, Sch Comp Sci & Commun Engn, Beijing 100083, Peoples R China

[2] Tsinghua Univ, Dept Comp Sci & Technol, Beijing 100084, Peoples R China

[3] Tsinghua Univ, Tsinghua Natl Lab Informat Sci & Technol, Beijing 100084, Peoples R China

来源：

CHINESE JOURNAL OF AERONAUTICS | 2013年 / 26卷 / 02期

基金：

中国国家自然科学基金;

关键词：

Health monitoring/fault management system; Integrated modular avionics; Multilayer; Performability analysis; Stochastic Petri nets;

D O I：

10.1016/j.cja.2013.02.014

中图分类号：

V [航空、航天];

学科分类号：

08 ; 0825 ;

摘要：

The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management (HM/FM) scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets (SPN) to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system. (c) 2013 Production and hosting by Elsevier Ltd. on behalf of CSAA & BUAA.

引用

页码：363 / 377

页数：15

共 11 条

[1]

Ammar H. H., 1992, ACM Transactions on Modeling and Computer Simulation, V2, P158, DOI 10.1145/137926.137959

[2] TIME SCALE DECOMPOSITION OF A CLASS OF GENERALIZED STOCHASTIC PETRI NET MODELS [J].

AMMAR, HH ;

ISLAM, SMR .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (06) :809-820

[3]

[Anonymous], 2004, 4626 NATO

[4]

Baarir Soheib, 2009, Performance Evaluation Review, V36, P4, DOI 10.1145/1530873.1530876

[5]

Black R, 2004, 23 IEEE AIAA DIG AV, P179

[6]

Byington CS, 2003, AUTOTESTCON 2003, PROCEEDINGS, P320

[7]

Christopher BW, 2007, 26 DIG AV SYST C DAL

[8]

Fox JJ, 2000, AEROSP CONF PROC, P179, DOI 10.1109/AERO.2000.878223

[9]

Kacprzynski GJ, 2002, AEROSP CONF PROC, P3065

[10]

Littlefield-Lawwill J, 2007, 26 IEEE AIAA DIG AV

← 1 2 →