Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components

Authors:
Tadeusz Cichocki;Janusz Górski
Affiliations:
-;-
Venue:
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Year:
2000

Citing 5
Cited 2

Object-oriented modeling and design

Object-oriented modeling and design
Objects, components, and frameworks with UML: the catalysis approach

Objects, components, and frameworks with UML: the catalysis approach
Towards integrated safety analysis and design

ACM SIGAPP Applied Computing Review - Special issue on saftey-critical software
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
An abstract model of a trusted platform

INTRUST'10 Proceedings of the Second international conference on Trusted Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

One of possible ways to achieve a very high level of confidence in a system is to develop its adequate model and then to analyse the properties of this model. The paper presents how object oriented modelling extended with formal specifications is used to support FMEA of software intensive systems. The paper refers to the case study of a computerised railway signalling system.