Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Computer Safety, Reliability and Security (SAFECOMP 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1943))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barbacci, B. R., Klein, M. H., Weinstock, C. B.: Principles for Evaluating the Quality Attributes of a Software Architecture, Software Engineering Institute, Carnegie Mellon University. Technical Report, CMU/SEI-96-TR-036, March 1997

    Google Scholar 

  2. Cichocki, T., Górski, J.: Safety assessment of computerized railway signalling equipment. Proc. of CENELEC SC9XA/WGA10 Workshop, Münich (Germany), May 11, 1999

    Google Scholar 

  3. Cichocki, T., Górski, J.: Safety assessment of computerized railway signalling equipment supported by formal techniques. Proc. of FMERail Workshop #5, Toulouse (France), September, 22–24, 1999

    Google Scholar 

  4. Defence Standard 00-55: Requirements for Safety Related Software in Defence Equipment (Part 1&2), Issue 1, UK Ministry of Defence, 1997

    Google Scholar 

  5. EN 50128: Railway applications. Software for Railway Control and Protection Systems, CENELEC, Final Draft version, July 1998

    Google Scholar 

  6. ENV 50129: Railway applications. Safety Related Electronic Systems for Signalling, CENELEC, May 1998

    Google Scholar 

  7. Fenelon P., McDermid J. A., Nicholson M., Pumfrey D. J., Towards Integrated Safety Analysis and Design. ACM Applied Computing Review, 2(1), pp. 21–32, 1994

    Article  Google Scholar 

  8. Fischer, C.: Combining CSP and Z, Univ. of Oldenburg. Technical Report, TRCF-97-1

    Google Scholar 

  9. Formal Systems (Europe) Ltd.: Failures-Divergence Refinement, FDR2 User Manual, 24 October 1997

    Google Scholar 

  10. Heisel, M.: Methodology and Machine Support for the Application of Formal Techniques in Software Engineering, Habilitation Thesis, Technische Universität Berlin, Berlin, 1997

    Google Scholar 

  11. IEC 812 (1985): Procedure for failure mode and effects analysis (FMEA), TC56

    Google Scholar 

  12. J-C. Laprie, B. Littlewood, Quantitative Assessment of Safety-Critical Software: Why and How? Predictably Dependable Computing Systems (PDCS) Technical Report no. 45, ESPRIT BRA Project 3092, February 1991

    Google Scholar 

  13. Lutz, R. R., Woodhouse, R. M.: Requirements Analysis Using Forward and Backward Search. (Annals of Software Engineering, 1997) JPL California Institute of Technology Technical Report, May 2, 1997

    Google Scholar 

  14. NASA-GB-A201, NASA Software Assurance Guidebook, September 1989

    Google Scholar 

  15. E. Noe-Gonzales, The Software Error Effect Analysis and the Synchronous Data Flow Approach to Safety Software: Method, Results, Operational Lessons. Proc. of SAFECOMP.94, pp. 163–171

    Google Scholar 

  16. Papadopoulos Y., McDermid J., Sasse R., Heiner G., Analysis and Synthesis of the Behaviour of Complex Programmable Electronic Systems in conditions of Failure. Reliability Engineering and System Safety Journal (forthcoming, 2000), Elsevier Science Limited (an extension of SAFECOMP.99 paper)

    Google Scholar 

  17. Roscoe, A. W.: The Theory and Practice of Concurrency, Prentice Hall, 1998, ISBN 0-13-674409-5, pp. xv + 565

    Google Scholar 

  18. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object Oriented Modelling and Design, Prentice-Hall Int., 1991

    Google Scholar 

  19. D. Souza, D., Wills, A. C.: Objects, Components, and Frameworks with UML. The Catalysis Approach, Addison Wesley Longman, Inc. 1998

    Google Scholar 

  20. Spivey, J. M.: The Z Notation: A Reference Manual, First published by Prentice Hall International (UK) Ltd., 1992 (Second edition), ISBN 0-13-629312-3

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Adtranz Zwus, Modelarska 12, 40-142, Katowice, Poland

    Tadeusz Cichocki

  2. Technical University of Gdańsk, Narutowicza 11/12, 80-952, Gdańk, Poland

    Janusz Górski

Authors
  1. Tadeusz Cichocki
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Janusz Górski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Safety Science Group, TU Delft, Jaffalaan 5, 2628, BX Delft, The Netherlands

    Floor Koornneef

  2. SIMTECH, Max Euwelaan 60, 3062, MA Rotterdam, The Netherlands

    Meine van der Meulen

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cichocki, T., Górski, J. (2000). Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components. In: Koornneef, F., van der Meulen, M. (eds) Computer Safety, Reliability and Security. SAFECOMP 2000. Lecture Notes in Computer Science, vol 1943. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40891-6_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-40891-6_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41186-4

  • Online ISBN: 978-3-540-40891-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation