NPP Safety Automation Systems Analysis: State of the Art

Janne Valkonen, Ilkka Karanta, Matti Koskimies, Keijo Heljanko, Ilkka Niemelä, Dan Sheridan, Robin E. Bloomfield

    Research output: Book/ReportReport


    This report describes the state of the art of formal methods and models applied in safety evaluation of nuclear and other industrial safety systems. Special attention is drawn to a technique called model checking that is a set of methods for analysing whether a model of a system fulfils its specifications by examining all of its possible behaviours. The report describes the scope and requirements for safety evaluation and introduces typical safety assessment approaches. The Safety Case concept is also described and discussed how it could be combined with model checking.
    Original languageEnglish
    Place of PublicationEspoo
    PublisherVTT Technical Research Centre of Finland
    Number of pages63
    ISBN (Electronic)978-951-38-7158-1
    Publication statusPublished - 2008
    MoE publication typeNot Eligible

    Publication series

    SeriesVTT Working Papers


    • model checking
    • safety automation
    • safety case
    • formal verification
    • programmable logic controller
    • SAFIR2010


    Dive into the research topics of 'NPP Safety Automation Systems Analysis: State of the Art'. Together they form a unique fingerprint.

    Cite this