Components interaction safety analysis method based on STAMP and formal verification

Nan Ye; Jianguo Zhang; Jie Wu

doi:10.1145/3425329.3425390

Components interaction safety analysis method based on STAMP and formal verification

Nan Ye
, Jianguo Zhang
, Jie Wu

School of Reliability and Systems Engineering

Beihang University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Abstract

The traditional safety analysis method is based on the event chain theory, which is not suitable for analyzing the accident caused by components interaction problems of complex system. However, the System Theoretic Accident Model and Process(STAMP) can overcome this difficulty. There are some shortcomings in the current research on STAMP, such as describing the model with natural language and relying on manual analysis. Therefore, this paper proposes a components interaction safety analysis method based on STAMP and formal verification. Taking the aero-engine control system as an example, the root cause of system hazard is obtained and the feasibility of the proposed method is verified.

Original language	English
Title of host publication	Proceedings of the 2020 2nd World Symposium on Software Engineering, WSSE 2020
Publisher	Association for Computing Machinery
Pages	46-50
Number of pages	5
ISBN (Electronic)	9781450387873
DOIs	https://doi.org/10.1145/3425329.3425390
State	Published - 25 Sep 2020
Event	2nd World Symposium on Software Engineering, WSSE 2020 - Virtual, Online, China Duration: 25 Sep 2020 → 27 Sep 2020

Publication series

Name	ACM International Conference Proceeding Series

Conference

Conference	2nd World Symposium on Software Engineering, WSSE 2020
Country/Territory	China
City	Virtual, Online
Period	25/09/20 → 27/09/20

Keywords

Aero-engine control system
Model checking
STAMP
System safety analysis

Access to Document

10.1145/3425329.3425390

Cite this

@inproceedings{6c9c84bafec643b6833242921e34a1b0,

title = "Components interaction safety analysis method based on STAMP and formal verification",

abstract = "The traditional safety analysis method is based on the event chain theory, which is not suitable for analyzing the accident caused by components interaction problems of complex system. However, the System Theoretic Accident Model and Process(STAMP) can overcome this difficulty. There are some shortcomings in the current research on STAMP, such as describing the model with natural language and relying on manual analysis. Therefore, this paper proposes a components interaction safety analysis method based on STAMP and formal verification. Taking the aero-engine control system as an example, the root cause of system hazard is obtained and the feasibility of the proposed method is verified.",

keywords = "Aero-engine control system, Model checking, STAMP, System safety analysis",

author = "Nan Ye and Jianguo Zhang and Jie Wu",

note = "Publisher Copyright: {\textcopyright} 2020 ACM.; 2nd World Symposium on Software Engineering, WSSE 2020 ; Conference date: 25-09-2020 Through 27-09-2020",

year = "2020",

month = sep,

day = "25",

doi = "10.1145/3425329.3425390",

language = "英语",

series = "ACM International Conference Proceeding Series",

publisher = "Association for Computing Machinery ",

pages = "46--50",

booktitle = "Proceedings of the 2020 2nd World Symposium on Software Engineering, WSSE 2020",

address = "美国",

}

Ye, N, Zhang, J & Wu, J 2020, Components interaction safety analysis method based on STAMP and formal verification. in Proceedings of the 2020 2nd World Symposium on Software Engineering, WSSE 2020. ACM International Conference Proceeding Series, Association for Computing Machinery , pp. 46-50, 2nd World Symposium on Software Engineering, WSSE 2020, Virtual, Online, China, 25/09/20. https://doi.org/10.1145/3425329.3425390

Components interaction safety analysis method based on STAMP and formal verification. / Ye, Nan; Zhang, Jianguo; Wu, Jie.
Proceedings of the 2020 2nd World Symposium on Software Engineering, WSSE 2020. Association for Computing Machinery , 2020. p. 46-50 (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Components interaction safety analysis method based on STAMP and formal verification

AU - Ye, Nan

AU - Zhang, Jianguo

AU - Wu, Jie

PY - 2020/9/25

Y1 - 2020/9/25

N2 - The traditional safety analysis method is based on the event chain theory, which is not suitable for analyzing the accident caused by components interaction problems of complex system. However, the System Theoretic Accident Model and Process(STAMP) can overcome this difficulty. There are some shortcomings in the current research on STAMP, such as describing the model with natural language and relying on manual analysis. Therefore, this paper proposes a components interaction safety analysis method based on STAMP and formal verification. Taking the aero-engine control system as an example, the root cause of system hazard is obtained and the feasibility of the proposed method is verified.

AB - The traditional safety analysis method is based on the event chain theory, which is not suitable for analyzing the accident caused by components interaction problems of complex system. However, the System Theoretic Accident Model and Process(STAMP) can overcome this difficulty. There are some shortcomings in the current research on STAMP, such as describing the model with natural language and relying on manual analysis. Therefore, this paper proposes a components interaction safety analysis method based on STAMP and formal verification. Taking the aero-engine control system as an example, the root cause of system hazard is obtained and the feasibility of the proposed method is verified.

KW - Aero-engine control system

KW - Model checking

KW - STAMP

KW - System safety analysis

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

U2 - 10.1145/3425329.3425390

DO - 10.1145/3425329.3425390

M3 - 会议稿件

AN - SCOPUS:85097148831

T3 - ACM International Conference Proceeding Series

SP - 46

EP - 50

BT - Proceedings of the 2020 2nd World Symposium on Software Engineering, WSSE 2020

PB - Association for Computing Machinery

T2 - 2nd World Symposium on Software Engineering, WSSE 2020

Y2 - 25 September 2020 through 27 September 2020

ER -

Components interaction safety analysis method based on STAMP and formal verification

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this