Model checking reveals hidden errors in safety-critical I&C software

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    Abstract

    Model checking is an efficient formal method for the verification of (hardware or software) system designs. Through exhaustive analysis, hidden errors can be found in systems that have already undergone conventional V&V. In addition to several research projects, VTT has been consulting the Finnish Radiation and Nuclear Safety Authority (STUK) on evaluating nuclear power plant I&C system designs using model checking since 2008. In this paper, we present methods for easing the process of model checking of function block based I&C software
    Original languageEnglish
    Title of host publicationProceedings
    Subtitle of host publication8th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, NPIC & HMIT 2012
    PublisherAmerican Nuclear Society ANS
    Pages1823-1834
    Volume3
    ISBN (Print)978-1-6274-8015-4
    Publication statusPublished - 2012
    MoE publication typeA4 Article in a conference publication
    Event8th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human Machine Interface Technologies, NPIC & HMIT 2012 - San Diego, California, United States
    Duration: 22 Jul 201226 Jul 2012

    Conference

    Conference8th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human Machine Interface Technologies, NPIC & HMIT 2012
    Abbreviated titleNPIC & HMIT 2012
    CountryUnited States
    CitySan Diego, California
    Period22/07/1226/07/12

      Fingerprint

    Keywords

    • Model checking
    • verification and validation
    • I&C software

    Cite this

    Pakonen, A., Mätäsniemi, T., & Valkonen, J. (2012). Model checking reveals hidden errors in safety-critical I&C software. In Proceedings: 8th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, NPIC & HMIT 2012 (Vol. 3, pp. 1823-1834). American Nuclear Society ANS.