Model-based safety evaluation of automation systems (MODSAFE): MODSAFE summary report

Kim Björkman, Juho Frits, Keijo Heljanko, Ilkka Niemelä, Janne Valkonen

Research output: Chapter in Book/Report/Conference proceedingChapter or book articleProfessional

Abstract

The objective of the MODSAFE project is to evaluate and develop methods based on formal model checking and apply them in the safety analysis of NPP safety automation. In the first project year a review of formal methods and models for safety evaluation of industrial and nuclear safety systems was made, basic methodology for applying model checking to safety evaluation was developed, and the feasibility of the approach was studied using two case examples. This work was based on using techniques developed for hardware model checking and the case studies employed the NuSMV model checking tool. In the second project year methodology for using timed automata as a basis for model checking safety systems was developed and a more elaborate case study involving also failure models was completed. The results show that by using current model checking techniques it is possible to verify whether a design model of a moderate size safety system satisfies its key safety requirements or not, even when system failures must be taken into account.
Original languageEnglish
Title of host publicationSAFIR2010: The Finnish Research Programme on Nuclear Power Plant Safety 2007-2010
Subtitle of host publicationInterim Report
Place of PublicationEspoo
PublisherVTT Technical Research Centre of Finland
Pages61-70
ISBN (Electronic)978-951-38-7267-0
ISBN (Print)978-951-38-7266-3
Publication statusPublished - 2009
MoE publication typeNot Eligible

Publication series

SeriesVTT Tiedotteita - Research Notes
Number2466
ISSN1235-0605

Fingerprint Dive into the research topics of 'Model-based safety evaluation of automation systems (MODSAFE): MODSAFE summary report'. Together they form a unique fingerprint.

  • Cite this

    Björkman, K., Frits, J., Heljanko, K., Niemelä, I., & Valkonen, J. (2009). Model-based safety evaluation of automation systems (MODSAFE): MODSAFE summary report. In SAFIR2010: The Finnish Research Programme on Nuclear Power Plant Safety 2007-2010 : Interim Report (pp. 61-70). VTT Technical Research Centre of Finland. VTT Tiedotteita - Research Notes, No. 2466 http://www.vtt.fi/inf/pdf/tiedotteet/2009/T2466.pdf