Abstract
This paper sums up the experience at SINTEF Telecom and Informatics on analysis of a safety critical systems for traffic control. After a short description of the system under consideration, the paper naturally falls into two parts. The first one is a description of two modifications, how they were implemented and how they were analysed for safety. The second one contains a discussion of the three methods used — FTA, FMECA and Code analysis. We here concentrate on how these methods differ in focus, the knowledge and information needed, and the types of problems they can handle.
The paper’s conclusion is that all three methods are needed in order to analyse modifications of a safety critical system. The knowledge needed and the problem focus will, however, differ.
Chapter PDF
Similar content being viewed by others
References
Robin E. Bloomfield et al. (1989), Requirements for the Analysis of Safety Critical Hazard. Adelard report.
CEUIEC (1990), Fault tree analysis ( FTA ), CEUIEC standard 1025.
ESTEC, (1992) Guidelines for considering a software intensive system with FMECA studies. QS/91 /247/082/RA
IEC (1985), Analysis techniques for system reliability. Procedures for failure mode and effect analysis ( FMEA ). IEC Standard publication 812.
Peter R. Harvey, (1982) Fault Tree Analysis of Software, Ph.D. Thesis, University of California, Irvine.
Ministry of Defence (1991), Hazard Analysis and Safety. Classification of the Computer and Programmable Electronic System Elements of defence Equipment. Standard 00–56/Issue 1.
Nancy Leveson and Peter R. Harvey, (1983) Software Fault Tree Analysis, Journal of Systems and Software, no. 3 173–181.
Nancy Leveson and Janice L. Stolzy, (1984) Software Fault Tree Analysis Applied to Ada, COMPSAC, November 7–9, Chicago, USA, 458–466.
Thomas Maier, (1995) FMEA and FTA to support safe design of embedded software in safety-critical systems, First annual ENCRESS Conference, Bruges, Belgium, 12–15 September, section 20.
Donald J. Reifer, (1979) Software Failure Modes and Effect Analysis, IEEE Transactions on Reliability, vol. R-28, no. 3, August, 247–249.
Felix Redmill, (1993) Safety-critical Systems - Current issues, techniques and standards. Chapman & Hall, London.
Kjell Rydholm, (1995) FTA and FMECA for Software, ENCRESS seminar, Borâs, Sweden, 29 November.
Tor Stâlhane, (1990) Fault Tree Analysis as Tool for Safety and Reliability, Second European Conference on Software Quality Assurance, May 30 - June 1, Oslo, Norway.
Tor Stâlhane and Joe Gorman, (1995) Review of DSP Software, SINTEF memo 400407. 37, SINTEF, Trondheim.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Stålhane, T., Wedde, K.J. (1997). Modification of Safety Critical Systems: An Assessment of three Approaches. In: Gritzalis, D. (eds) Reliability, Quality and Safety of Software-Intensive Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35097-4_11
Download citation
DOI: https://doi.org/10.1007/978-0-387-35097-4_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6399-7
Online ISBN: 978-0-387-35097-4
eBook Packages: Springer Book Archive