IEEE - Institute of Electrical and Electronics Engineers, Inc. - Modelling and analysing fault propagation in safety-related systems

Proceedings. 28th Annual NASA Goddard Software Engineering Workshop

Author(s): F. Iwu ; I. Toyn
Sponsor(s): IEEE Comput. Soc. Tech. Council of Software Eng. (TCSE)
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2003
Conference Location: Greenbelt, MD, USA, USA
Conference Date: 3 December 2003
Page Count: 8
Page(s): 167 - 174
ISBN (Paper): 0-7695-2064-2
DOI: 10.1109/SEW.2003.1270740
Regular:

A formal specification for analysing and implementing multiple fault diagnosis software is proposed in this paper. The specification computes all potential fault sources that correspond to a set... View More

Advertisement