Integrating model checking with safety-critical I&C software design

Antti Pakonen, Jussi Lahtinen, Veli-Pekka Kuutti, Tommi Karhela

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

Abstract

Model checking is a formal method that can be used to verify hardware or software system designs. In order to ease the application of model checking already at the early phases of the system design process, we have been developing a set of tools to automate some of the tasks in the model checking process and guide the modeler in those tasks that still need human interpretation. Our solutions are largely based on the Simantics platform – an open-source development project aimed at the efficient integration of different modeling and simulation tools.
Original languageEnglish
Title of host publicationProceedings of 7th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, NPIC & HMIT 2010
PublisherAmerican Nuclear Society ANS
Pages1729-1740
Volume3
ISBN (Electronic)978-0-8944-8084-3
ISBN (Print)978-1-6178-2266-7
Publication statusPublished - 2010
MoE publication typeA4 Article in a conference publication
Event7th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, NPIC-HMIT 2010 - Las Vegas, Nevada, United States
Duration: 7 Nov 201011 Nov 2010

Conference

Conference7th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, NPIC-HMIT 2010
Abbreviated titleNPIC-HMIT 2010
CountryUnited States
CityLas Vegas, Nevada
Period7/11/1011/11/10

    Fingerprint

Keywords

  • Model checking
  • verification & validation
  • digital I&C

Cite this

Pakonen, A., Lahtinen, J., Kuutti, V-P., & Karhela, T. (2010). Integrating model checking with safety-critical I&C software design. In Proceedings of 7th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, NPIC & HMIT 2010 (Vol. 3, pp. 1729-1740). American Nuclear Society ANS. http://www.vtt.fi/inf/julkaisut/muut/2010/NPICHMIT_2010_Pakonen_et_al.pdf