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

Janne Valkonen*, Kim Björkman, Jussi Lahtinen, Jukka Ranta, Juho Frits, Keijo Heljanko, Ilkka Niemelä

*Tämän työn vastaava kirjoittaja

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaChapterScientificvertaisarvioitu

    Abstrakti

    The objective of the MODSAFE project was to evaluate and develop methods based on formal model checking and apply them in the safety analysis of NPP safety automation (I&C). The purpose was to develop and find a group of methods and tools that support utilities, regulators, vendors and support organizations in their practical safety evaluation efforts. The main tasks of the first two project years were to review the state of the art of employing formal methods and models for safety evaluation of industrial and nuclear safety systems, to develop basic methodology for applying model checking to safety evaluation, and to study the feasibility of the approach. The third and fourth project years concentrated on developing the approach more flexible and suitable for analysing larger and more complex models. The research was conducted by utilizing several industrial example systems which enabled developing the methodology suitable for realistic problems and testing it with various types of systems. The results of the project show that by using 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.

    AlkuperäiskieliEnglanti
    OtsikkoSAFIR2010, The Finnish Research Programme on Nuclear Power Plant Safety 2007-2010. Final Report
    Sivut55-65
    Sivumäärä11
    Painos2571
    TilaJulkaistu - 2011
    OKM-julkaisutyyppiA3 Kirjan osa tai toinen tutkimuskirja

    Julkaisusarja

    NimiVTT Tiedotteita - Valtion Teknillinen Tutkimuskeskus
    Numero2571
    ISSN (painettu)1235-0605
    ISSN (elektroninen)1455-0865

    Sormenjälki Sukella tutkimusaiheisiin 'Model-based safety evaluation of automation systems (MODSAFE): MODSAFE summary report'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

  • Siteeraa tätä

    Valkonen, J., Björkman, K., Lahtinen, J., Ranta, J., Frits, J., Heljanko, K., & Niemelä, I. (2011). Model-based safety evaluation of automation systems (MODSAFE): MODSAFE summary report. teoksessa SAFIR2010, The Finnish Research Programme on Nuclear Power Plant Safety 2007-2010. Final Report (2571 toim., Sivut 55-65). (VTT Tiedotteita - Valtion Teknillinen Tutkimuskeskus; Nro 2571).