Failure Propagation Modeling and Analysis via System Interfaces

Lin Zhao, Krishnaiyan Thulasiraman, Xiaocheng Ge, Ru Niu

Research output: Contribution to journalArticle

Abstract

Safety-critical systems must be shown to be acceptably safe to deploy and use in their operational environment. One of the key concerns of developing safety-critical systems is to understand how the system behaves in the presence of failures, regardless of whether that failure is triggered by the external environment or caused by internal errors. Safety assessment at the early stages of system development involves analysis of potential failures and their consequences. Increasingly, for complex systems, model-based safety assessment is becoming more widely used. In this paper we propose an approach for safety analysis based on system interface models. By extending interaction models on the system interface level with failure modes as well as relevant portions of the physical system to be controlled, automated support could be provided for much of the failure analysis. We focus on fault modeling and on how to compute minimal cut sets. Particularly, we explore state space reconstruction strategy and bounded searching technique to reduce the number of states that need to be analyzed, which remarkably improves the efficiency of cut sets searching algorithm.

LanguageEnglish
Article number8593612
Number of pages12
JournalMathematical Problems in Engineering
Volume2016
DOIs
Publication statusPublished - 5 Apr 2016

Fingerprint

Propagation Failure
Systems Analysis
Safety-critical Systems
Safety Assessment
Cutset
Modeling
Safety Analysis
Failure Analysis
Failure Mode
System Development
Complex Systems
State Space
Fault
Failure modes
Failure analysis
Model-based
Large scale systems
Internal
Interaction
Model

Cite this

@article{19ed31d8293e47c79b1fac3c69904168,
title = "Failure Propagation Modeling and Analysis via System Interfaces",
abstract = "Safety-critical systems must be shown to be acceptably safe to deploy and use in their operational environment. One of the key concerns of developing safety-critical systems is to understand how the system behaves in the presence of failures, regardless of whether that failure is triggered by the external environment or caused by internal errors. Safety assessment at the early stages of system development involves analysis of potential failures and their consequences. Increasingly, for complex systems, model-based safety assessment is becoming more widely used. In this paper we propose an approach for safety analysis based on system interface models. By extending interaction models on the system interface level with failure modes as well as relevant portions of the physical system to be controlled, automated support could be provided for much of the failure analysis. We focus on fault modeling and on how to compute minimal cut sets. Particularly, we explore state space reconstruction strategy and bounded searching technique to reduce the number of states that need to be analyzed, which remarkably improves the efficiency of cut sets searching algorithm.",
author = "Lin Zhao and Krishnaiyan Thulasiraman and Xiaocheng Ge and Ru Niu",
year = "2016",
month = "4",
day = "5",
doi = "10.1155/2016/8593612",
language = "English",
volume = "2016",
journal = "Mathematical Problems in Engineering",
issn = "1024-123X",
publisher = "Hindawi Publishing Corporation",

}

Failure Propagation Modeling and Analysis via System Interfaces. / Zhao, Lin; Thulasiraman, Krishnaiyan; Ge, Xiaocheng; Niu, Ru.

In: Mathematical Problems in Engineering, Vol. 2016, 8593612, 05.04.2016.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Failure Propagation Modeling and Analysis via System Interfaces

AU - Zhao, Lin

AU - Thulasiraman, Krishnaiyan

AU - Ge, Xiaocheng

AU - Niu, Ru

PY - 2016/4/5

Y1 - 2016/4/5

N2 - Safety-critical systems must be shown to be acceptably safe to deploy and use in their operational environment. One of the key concerns of developing safety-critical systems is to understand how the system behaves in the presence of failures, regardless of whether that failure is triggered by the external environment or caused by internal errors. Safety assessment at the early stages of system development involves analysis of potential failures and their consequences. Increasingly, for complex systems, model-based safety assessment is becoming more widely used. In this paper we propose an approach for safety analysis based on system interface models. By extending interaction models on the system interface level with failure modes as well as relevant portions of the physical system to be controlled, automated support could be provided for much of the failure analysis. We focus on fault modeling and on how to compute minimal cut sets. Particularly, we explore state space reconstruction strategy and bounded searching technique to reduce the number of states that need to be analyzed, which remarkably improves the efficiency of cut sets searching algorithm.

AB - Safety-critical systems must be shown to be acceptably safe to deploy and use in their operational environment. One of the key concerns of developing safety-critical systems is to understand how the system behaves in the presence of failures, regardless of whether that failure is triggered by the external environment or caused by internal errors. Safety assessment at the early stages of system development involves analysis of potential failures and their consequences. Increasingly, for complex systems, model-based safety assessment is becoming more widely used. In this paper we propose an approach for safety analysis based on system interface models. By extending interaction models on the system interface level with failure modes as well as relevant portions of the physical system to be controlled, automated support could be provided for much of the failure analysis. We focus on fault modeling and on how to compute minimal cut sets. Particularly, we explore state space reconstruction strategy and bounded searching technique to reduce the number of states that need to be analyzed, which remarkably improves the efficiency of cut sets searching algorithm.

UR - http://www.scopus.com/inward/record.url?scp=84973137358&partnerID=8YFLogxK

U2 - 10.1155/2016/8593612

DO - 10.1155/2016/8593612

M3 - Article

VL - 2016

JO - Mathematical Problems in Engineering

T2 - Mathematical Problems in Engineering

JF - Mathematical Problems in Engineering

SN - 1024-123X

M1 - 8593612

ER -