Computing and Library Services - delivering an inspiring information environment

Failure Propagation Modeling and Analysis Via System Interfaces

Zhao, Lin, Thulasiraman, Krishnaiyan, Ge, Xiaocheng and Niu, Ru (2016) Failure Propagation Modeling and Analysis Via System Interfaces. Mathematical Problems in Engineering. ISSN 1024-123X

This is the latest version of this item.

PDF - Published Version
Available under License Creative Commons Attribution.

Download (2MB) | Preview


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 the system behaves in the presence of failures, regardless of whether that failure is triggered by the external envi- ronment, or caused by internal errors. Safety assessment at the early stages of system development involves analysis of potential failures and their conse- quences. 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.

Item Type: Article
Additional Information: Article ID 8593612
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Schools: School of Computing and Engineering
School of Computing and Engineering > Institute of Railway Research
Related URLs:
Depositing User: Xiaocheng Ge
Date Deposited: 30 Mar 2017 10:41
Last Modified: 28 Aug 2021 16:06

Available Versions of this Item

  • Failure Propagation Modeling and Analysis Via System Interfaces. (deposited 30 Mar 2017 10:41) [Currently Displayed]


Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©