Capture and reuse of composable failure patterns

Wolforth, Ian; Walker, Martin; Papadopoulos, Yiannis; Grunske, Lars

Abstract

Emerging safety analysis techniques use composition of failure models or fault simulation in formal models of a system to determine relationships between the causes and effects of failure. Most recent work has focused on developing system modelling and algorithms for automatic safety analysis. However, little work has focused on developing principles to improve reuse of safety analyses in the context of these techniques. In this paper, we describe a generalised failure logic (GFL) that can capture abstract reusable characteristics of failure behaviour and show how the GFL can be used with templates for the specification of reusable and inheritable component failure patterns. Finally, we illustrate how such patterns can be used with HiP-HOPS, an automated fault tree and FMEA synthesis tool, in order to simplify safety analysis while formalising and improving reuse. Benefits of this approach are discussed in the light of a case study on a brake-by-wire example.

Citation

Wolforth, I., Walker, M., Papadopoulos, Y., & Grunske, L. (2010). Capture and reuse of composable failure patterns. International Journal of Critical Computer-Based Systems, 1(1/2/3), 128-147. https://doi.org/10.1504/IJCCBS.2010.031710

• Journal Article Type: Article
• Publication Date: 2010
• Deposit Date: Nov 13, 2014
• Journal: International Journal Of Critical Computer-Based Systems
• Print ISSN: 1757-8779
• Publisher: Inderscience
• Peer Reviewed: Peer Reviewed
• Volume: 1
• Issue: 1/2/3
• Pages: 128-147
• DOI: https://doi.org/10.1504/IJCCBS.2010.031710
• Keywords: General Computer Science
• Public URL: https://hull-repository.worktribe.com/output/463663
• Additional Information: Funders not listed on SJ, so according to SR, publisher's PDF cannot be used.
• Contract Date: Nov 13, 2014