Generalizable safety annotations for specification of failure patterns

Authors:
Ian Wolforth;Martin Walker;Lars Grunske;Yiannis Papadopoulos
Affiliations:
Department of Computer Science, University of Hull, U.K.;Department of Computer Science, University of Hull, U.K.;Faculty of ICT, CS3, Swinburne University of Technology, Australia;Department of Computer Science, University of Hull, U.K.
Venue:
Software—Practice & Experience
Year:
2010

Citing 30
Cited 0

String-rewriting systems

String-rewriting systems
An integrated tool set for software safety analysis

Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
TTP-A Protocol for Fault-Tolerant Real-Time Systems

Computer
Safeware: system safety and computers

Safeware: system safety and computers
Software deviation analysis

ICSE '97 Proceedings of the 19th international conference on Software engineering
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications

IEEE Transactions on Software Engineering
Software engineering for safety: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Formal Support for Fault Modelling and Analysis

SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Model-Based Synthesis of Fault Trees from Matlab-Simulink Models

DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Evolving car designs using model-based automated safety analysis and optimisation techniques

Journal of Systems and Software - Special issue: Computer software & applications
Deviation Analysis: A New Use of Model Checking

Automated Software Engineering
A new component concept for fault trees

SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Safety-Oriented Design of Component Assemblies using Safety Interfaces

Electronic Notes in Theoretical Computer Science (ENTCS)
Probabilistic Model-Checking Support for FMEA

QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Behavioral Fault Modeling for Model-based Safety Analysis

HASE '07 Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium
Specification patterns for probabilistic quality properties

Proceedings of the 30th international conference on Software engineering
On Failure Propagation in Component-Based Software Systems

QSIC '08 Proceedings of the 2008 The Eighth International Conference on Quality Software
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems

Journal of Systems and Software
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems

HASE '08 Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System

SAFECOMP '07 Proceedings of the 26th International Conference on Computer Safety, Reliability, and Security
Modular Architectural Representation and Analysis of Fault Propagation and Transformation

Electronic Notes in Theoretical Computer Science (ENTCS)
A system dependability modeling framework using AADL and GSPNs

Architecting dependable systems IV
Automating the failure modes and effects analysis of safety critical systems

HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Component-Based hazard analysis: optimal designs, product lines, and online-reconfiguration

SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Towards an integration of standard component-based safety evaluation techniques with SaveCCM

QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Model-Driven safety evaluation with state-event-based component failure annotations

CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
An automated failure mode and effect analysis based on high-level design specification with behavior trees

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Compositional temporal fault tree analysis

SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Using deductive cause-consequence analysis (DCCA) with SCADE

SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

Components in programmable systems often exhibit patterns of failure that are independent of function or system context. In this paper, we show that it is possible to capture, and reuse where appropriate, such patterns for the purposes of system safety analysis. We describe a language that enables abstract specification of failure behaviour and define the syntax and semantics of this language. The language extends concepts originally defined in HiP-HOPS, a technique that enables a largely automated form of compositional system safety analysis. The paper describes how this language can be used to describe component failure patterns and demonstrates how it can be applied using a simple fuel system example. The approach is evaluated on a set of retrospective industrial case studies, where data-mining and reverse engineering techniques are applied in order to identify hidden patterns in legacy safety analyses. Results show clear potential for practical use of patterns in HiP-HOPS. We argue that careful specification and reuse of failure patterns in conjunction with a tool that automates Fault Tree and Failure Modes and Effects Analysis can help to simplify complex safety assessments. Copyright © 2010 John Wiley & Sons, Ltd.