OF-FMEA: an approach to safety analysis of object-oriented software intensive systems

Authors:
Tadeusz Cichocki;Janusz Górski
Affiliations:
Bombardier Transportation (Zwus) Polska Sp. z o.o., Modelarska 12, 40-142 Katowice, Poland;Gdansk University of Technology, Narutowicza 11/12, 80-952 Gdansk, Poland
Venue:
Artificial intelligence and security in computing systems
Year:
2003

Citing 3
Cited 0

The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
Requirements analysis using forward and backward search

Annals of Software Engineering
Formal Support for Fault Modelling and Analysis

SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents an extension to the common FMEA method in such a way that it can be applied to safety analysis of systems (hardware and software) that are developed using a recently popular object oriented approach. The method makes use of the object and collaboration models of UML. It assumes that the system components are specified formally using the CSP notation. The method supports systematic way of failure mode identification and validation. Selected failure modes are injected to the specification of "normal' behaviour and their consequences are analysed with the help of an automatic tool. The verification process provides hints for possible redesign of components. Experiences of using the method for a railway signalling case study are also reported.