Reliability assessment method for component system based on AADL architecture model

Dongyi Ling; Shihai Wang; Bin Liu

doi:10.3969/j.issn.1001-506X.2017.04.35

Reliability assessment method for component system based on AADL architecture model

Dongyi Ling
, Shihai Wang
, Bin Liu

School of Reliability and Systems Engineering

Beihang University

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

In order to support the system reliability analysis and evaluation for a new generation of avionics system in the architecture design stage, a reliability modeling method is proposed based on the architecture analysis and design language (AADL) system architecture model. A transformation rule is designed which performs transformation from the AADL architecture reliability model to the system architecture general stochastic petri net (SAGSPN) model, and the realiability assessment is conducted based on the weighted SAGSPN calculation model. Finally, the reliability assessment of a flight control system is performed to verify the effectiveness of the method. The method provides a support for assessing the system design schema.

Original language	English
Pages (from-to)	947-952
Number of pages	6
Journal	Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics
Volume	39
Issue number	4
DOIs	https://doi.org/10.3969/j.issn.1001-506X.2017.04.35
State	Published - 1 Apr 2017

Keywords

Architecture analysis and design language (AADL)
Reliability assessment
Reliability model
System architecture general stochastic Petri net (SAGSPN)

Access to Document

10.3969/j.issn.1001-506X.2017.04.35

Cite this

@article{259b8731a1a7493fb5d0e286eabb7e4b,

title = "Reliability assessment method for component system based on AADL architecture model",

abstract = "In order to support the system reliability analysis and evaluation for a new generation of avionics system in the architecture design stage, a reliability modeling method is proposed based on the architecture analysis and design language (AADL) system architecture model. A transformation rule is designed which performs transformation from the AADL architecture reliability model to the system architecture general stochastic petri net (SAGSPN) model, and the realiability assessment is conducted based on the weighted SAGSPN calculation model. Finally, the reliability assessment of a flight control system is performed to verify the effectiveness of the method. The method provides a support for assessing the system design schema.",

keywords = "Architecture analysis and design language (AADL), Reliability assessment, Reliability model, System architecture general stochastic Petri net (SAGSPN)",

author = "Dongyi Ling and Shihai Wang and Bin Liu",

year = "2017",

month = apr,

day = "1",

doi = "10.3969/j.issn.1001-506X.2017.04.35",

language = "英语",

volume = "39",

pages = "947--952",

journal = "Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics",

issn = "1001-506X",

publisher = "Chinese Institute of Electronics",

number = "4",

}

TY - JOUR

T1 - Reliability assessment method for component system based on AADL architecture model

AU - Ling, Dongyi

AU - Wang, Shihai

AU - Liu, Bin

PY - 2017/4/1

Y1 - 2017/4/1

N2 - In order to support the system reliability analysis and evaluation for a new generation of avionics system in the architecture design stage, a reliability modeling method is proposed based on the architecture analysis and design language (AADL) system architecture model. A transformation rule is designed which performs transformation from the AADL architecture reliability model to the system architecture general stochastic petri net (SAGSPN) model, and the realiability assessment is conducted based on the weighted SAGSPN calculation model. Finally, the reliability assessment of a flight control system is performed to verify the effectiveness of the method. The method provides a support for assessing the system design schema.

AB - In order to support the system reliability analysis and evaluation for a new generation of avionics system in the architecture design stage, a reliability modeling method is proposed based on the architecture analysis and design language (AADL) system architecture model. A transformation rule is designed which performs transformation from the AADL architecture reliability model to the system architecture general stochastic petri net (SAGSPN) model, and the realiability assessment is conducted based on the weighted SAGSPN calculation model. Finally, the reliability assessment of a flight control system is performed to verify the effectiveness of the method. The method provides a support for assessing the system design schema.

KW - Architecture analysis and design language (AADL)

KW - Reliability assessment

KW - Reliability model

KW - System architecture general stochastic Petri net (SAGSPN)

UR - https://www.scopus.com/pages/publications/85018188920

U2 - 10.3969/j.issn.1001-506X.2017.04.35

DO - 10.3969/j.issn.1001-506X.2017.04.35

M3 - 文章

AN - SCOPUS:85018188920

SN - 1001-506X

VL - 39

SP - 947

EP - 952

JO - Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics

JF - Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics

IS - 4

ER -

Reliability assessment method for component system based on AADL architecture model

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this