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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Lutz R. R., Woodhouse R.M.: Requirements Analysis Using Forward and Backward Search. Annals of Software Engineering, 3, 1997, 459–475 (JPL California Institute of Technology Technical Report, May 2, 1997).
Noé-Gonzales E.: The Software Error Effect Analysis and the Synchronous Data Flow Approach to Safety Software: Method, Results, Operational Lessons. Proc. of 13 th International Conference SAFECOMP, 1994, Los Angeles (USA), pp. 163–171.ai]
Cichocki T., Górski J.: Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components, in: Springer Lecture Notes in Computer Science, vol. 1943, 2000, pp. 382–394
Cichocki T., Görski J.: Formal Support for Fault Modelling and Analysis, in: Springer Lecture Notes in Computer Science, vol. 2187, 2001, pp. 190–199.
Roscoe W.: The Theory and Practice of Concurrency, Prentice-Hall, 1998 (580 pp), ISBN 0–13–674409–5.
OMG: Unified Modelling Language Specification, Version 1.4, September 2001 http://www.omg.org/technology/documents/formal/uml.html.
Formal Systems (Europe) Ltd.: Failures-Divergence Refinement, FDR2 User Manual, 24 October 1997.
Mü 8004: Answeisungzu den technischen Anforderungen für die Zulassung von Sicherungsanlagen, Eisenbahn-Bundesamt, Munich 1999.
DIN V VDE 0801/01.90: Safety of computerized systems (orig. Grundshätze für Rechner in Systemen mit Sicherheitsaufgaben), Beuth-Verlag, Berlin, 1994 (pp 182).
EN 50159, Railway applications — Communication, signalling and processing systems: Part 1 and 2 — Safety related communication. 1997/1998, CENELEC, Central Secretariat, Brussels.
European Rail Research Institute/UIC:ETCS Functional Requirements Specification, FRS, ver. 4.0, 1996,Utrecht, Netherlands (pp 176).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media New York
About this paper
Cite this paper
Cichocki, T., Górski, J. (2003). OF-FMEA: an approach to safety analysis of object-oriented software intensive systems. In: Sołdek, J., Drobiazgiewicz, L. (eds) Artificial Intelligence and Security in Computing Systems. The Springer International Series in Engineering and Computer Science, vol 752. Springer, Boston, MA. https://doi.org/10.1007/978-1-4419-9226-0_25
Download citation
DOI: https://doi.org/10.1007/978-1-4419-9226-0_25
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-4847-4
Online ISBN: 978-1-4419-9226-0
eBook Packages: Springer Book Archive