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 language | English |
|---|---|
| Title of host publication | 8th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies (NPIC & HMIT 2012) |
| Subtitle of host publication | Enabling the Future of Nuclear Energy |
| Publisher | American Nuclear Society (ANS) |
| Pages | 1823-1834 |
| Volume | 3 |
| ISBN (Electronic) | 978-1-6274-8015-4 |
| ISBN (Print) | 978-0-9448-093-0 |
| Publication status | Published - 2012 |
| MoE publication type | A4 Article in a conference publication |
| Event | 8th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human Machine Interface Technologies, NPIC & HMIT 2012 - San Diego, California, United States Duration: 22 Jul 2012 → 26 Jul 2012 |
Conference
| Conference | 8th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human Machine Interface Technologies, NPIC & HMIT 2012 |
|---|---|
| Abbreviated title | NPIC & HMIT 2012 |
| Country/Territory | United States |
| City | San Diego, California |
| Period | 22/07/12 → 26/07/12 |
Keywords
- Model checking
- verification and validation
- I&C software