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

Keywords

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

Fingerprint Dive into the research topics of 'Model checking reveals hidden errors in safety-critical I&C software'. Together they form a unique fingerprint.

  • 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. http://www.vtt.fi/inf/julkaisut/muut/2012/NPIC-HMIT_2012_Pakonen_et_al.pdf