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 proceeding › Conference article in proceedings › Scientific › peer-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 2010 → 11 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/10 → 11/11/10

Keywords

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

Access to Document

Fingerprint Dive into the research topics of 'Integrating model checking with safety-critical I&C software design'. Together they form a unique fingerprint.

    • 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