Formal Support for FMEA

Objectives:

To develop a method of formal support for FMEA and to apply it to safety analysis of a railway signalling system.

Contact:

The contact for this research project is here.

PhD Thesis:

The research project has been summarized as part of a PhD thesis presented at the Gdansk University of Technology in 2002.

Tadeusz Cichocki:
"Metoda analizy bezpieczeństwa komputerowych systemów sygnalizacji kolejowej"
(The English title: "A Method of Safety Analysis of Computerized Railway Signalling Systems”)
Download PDF (2.7 MB)

Rationale:

Approach:

Schedule:

  • The project started in 1997.

  • The project concluded in 2002

Results:

  • Definition of a method of systematic support of FMEA with help of formal CSP models

  • The procedure of analysis of the formal models to detect potential anomalies

  • Application of the approach to s realistic case study related to a computerized railway signalling system

Publications:

  1. Tadeusz CICHOCKI, Janusz GÓRSKI, Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components, in: Floor Koornneef, Meine van der Meulen (eds.), Proceedings of Computer Safety, Reliability and Security, Proceedings of 19th International Conference SAFECOMP 2000, Rotterdam (The Netherlands), October 24-27, 2000, Springer Lecture Notes in Computer Science, vol. 1943, pp. 382-394.
  2. Download PDF (431 kB)

  3. Tadeusz CICHOCKI, Janusz GÓRSKI, Analiza FMEA dla systemów z wymaganiami bezpieczeństwa zawierających komponenty programowe, VII Konferencja Systemy Czasu Rzeczywistego, Kraków, 25-28 września 2000, str. 153-165.
  4. Download PDF (431 kB)

  5. Tadeusz CICHOCKI, Janusz GÓRSKI, Formal Support for Fault Modelling and Analysis, in: Udo Voges (ed.),Proceedings of Computer Safety, Reliability and Security, 20th International Conference SAFECOMP 2001, Budapest (Hungary), September 26-28, 2001, Springer Lecture Notes in Computer Science, vol. 2187, pp. 190-199.
  6. Download PDF (431 kB)

  7. Tadeusz CICHOCKI, Janusz GÓRSKI, Formalne wspomaganie modelowania usterek i analizy ich konsekwencji, VIII Konferencja Systemy Czasu Rzeczywistego, Krynica, 24-27 września 2001, str. 45-55.
  8. Download PDF (431 kB)

  9. Tadeusz CICHOCKI, Janusz GÓRSKI, Analiza bezpieczeństwa przemysłowych zastosowań informatyki z wykorzystaniem metody FMEA, III Krajowa Konferencja Naukowo-Techniczna, Diagnostyka Procesów Przemysłowych, 7-10 września 1998, Jurata k/Gdańska.
  10. Download PDF (431 kB)

  11. Tadeusz CICHOCKI, Janusz GÓRSKI, Safety assessment of computerized railway signalling equipment, Proceedings of CENELEC SC9XA/WGA10 Workshop, Bridging the Gap to Railway Interoperability, May 11, 1999, Münich (Germany).
  12. Download PDF (431 kB)

  13. Tadeusz CICHOCKI, Janusz GÓRSKI, Safety assessment of computerized railway signalling equipment supported by formal techniques, Proceedings of FMERail Workshop #5, Toulouse (France), September, 22-24, 1999.
  14. Download PDF (431 kB)

  15. Janusz GÓRSKI, Andrzej WARDZIŃSKI, Formalising Fault Trees, Proc. of the Safaty-Critical Systems Symposium, Brighton 1995 (Felix Redmill & Tom Anderson, eds.) Springer Verlag.
  16. Download PDF (431 kB)

  17. Tadeusz CICHOCKI, Janusz GÓRSKI, Analiza bezpieczeństwa systemu samoczynnej blokady liniowej, VI Konferencja Systemy Czasu Rzeczywistego, Zakopane, 27-30 września 1999, str. 143-156.
  18. Download PDF (431 kB)

  19. Janusz GÓRSKI, Extending safety analysis with formal semantics, Proc. of 2nd Safety Critical Systems Symposium, Springer, 1994, 148-163.
  20. Download PDF (431 kB)

  21. Janusz GÓRSKI, Problemy specyfikacji i analizy systemów komputerowych uwarunkowanych bezpieczeństwem - zastosowanie logiki temporalnej, Nr 449, ELEKTRONIKA LXVIII, 1990, stron 184.