Object-Oriented Safety Analysis

Objectives:

To develop a method of object oriented modeling of safety related systems and of analyzing its safety properties with the help of formal modeling and analysis

To demonstrate the applicability of the method by applying it to the analysis of extra high voltage power station.

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 1998.

Bartosz Nowicki:
"OBIEKTOWA ANALIZA SYSTEMÓW KOMPUTEROWYCH ZWIĄZANYCH Z BEZPIECZEŃSTWEM"
(The English title: "Object-Oriented Analysis of Safety Related Computer-Based Systems”)
Download PDF (2.7 MB)

Rationale:

Approach:

Schedule:

  • The project started in 1993.

  • The project concluded in 1998

Results:

  • Definition of a method of systematic object-oriented modeling of a safety critical system and conversion of this model into statecharts

  • The procedure of analysis of the statecharts models (with help of the STATEMATE tool

  • Application of the approach to s realistic case study related to a extra high voltage power station

Publications:

  1. Górski J., Deriving Safety Monitors from Formal Specifications, Safety of Computer Control Systems SAFECOMP’89, Vienna, Austria, Pergamon Press,1989, pp. 123-128
  2. Download PDF (431 kB)

  3. Górski J., Nowicki B., Obiektowe podejście do modelowania i analizy komputerowych systemów sterowania, Informatyka, wrzesień 1995, str. 13–20
  4. Download PDF (431 kB)

  5. Górski J., Nowicki B., Obiektowe podejście do modelowania i analizy komputerowych systemów sterowania, Materiały Konferencyjne II Konferencji Systemów Czasu Rzeczywistego, Szklarska Poręba, 20–23 wrzesień 1995, str. 108–121
  6. Download PDF (431 kB)

  7. Górski J., Nowicki B., Object–Oriented Approach to Safety Analysis, Proc. 1st Conference Safety and Reliability of Software Based Systems (ENCRESS’95), ed. Shaw R., Springer-Verlag, Bruges (Belgium), September 12–15, 1995, pp. 338-350
  8. Download PDF (431 kB)

  9. Górski J., Nowicki B., Synteza monitorów bezpieczeństwa na podstawie modelu obiektowego dla systemu palnika gazowego, EFP-RR-167/96, Francusko-Polska Wyższa Szkoła Nowych Technik Informatyczno-Komunikacyjnych (EFP), Poznań, 1996
  10. Download PDF (431 kB)

  11. Górski J., Nowicki B., Safety Analysis Based on Object-Oriented Modelling of Critical Systems, The 15th International Conference on Safety, Reliability and Security (SAFECOMP’96), ed. Schoitsch E., Springer-Verlag, Vienna, October, 1996, pp. 46-60
  12. Download PDF (431 kB)

  13. Górski J., Nowicki B., Synteza monitorów bezpieczeństwa na podstawie modelu obiektowego, Materiały Konferencyjne III Konferencji Systemów Czasu Rzeczywistego, Szklarska Poręba (Polska), 10-13 wrzesień 1996, str. 83-95
  14. Download PDF (431 kB)

  15. Górski J., Nowicki B., Wzajemna weryfikacja rezultatów całościowej i częściowej analizy bezpieczeństwa, EFP RR 168/96, Francusko-Polska Wyższa Szkoła Nowych Technik Informatyczno-Komunikacyjnych (EFP), Poznań, 1996
  16. Download PDF (431 kB)

  17. Górski J., Nowicki B., Safety Monitor Synthesis Based on Hazard Scenarios, International Conference on Safety and Reliability (ESREL‘97), ed. Soares C.G., Pergamon, June 17-20, 1997, Lisbon, Portugal, pp. 407-415
  18. Download PDF (431 kB)

  19. Górski J., Nowicki B., Object-oriented Safety Monitor Synthesis, 3rd International Conference on Reliability, Quality & Safety of Software-Intensive Systems (ENCRESS’97), ed. Gritzalis D., Chapman&Hall, May 1997, Athens, pp. 121-133
  20. Download PDF (431 kB)

  21. Górski J., Nowicki B., Wardzinski A., olistic and Partial System Models in Safety Analysis, Probabilistic Risk Assessment, H (PSA’96), USA, 1996, vol.2 pp. 1301-1309
  22. Download PDF (431 kB)

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

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