Oops! Examples of I&C design issues detected with model checking

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsProfessional

13 Downloads (Pure)

Abstract

Since 2008, VTT has used a formal verification method called model checking to verify instrumentation and control (I&C) application logic design in practical projects in the Finnish nuclear industry. In this paper, we present seven examples of the 66 confirmed design issues that we have detected. We then discuss potential causes why only formal verification revealed the otherwise hidden issues. We hope the examples will be useful in case studies related to verification and quality
assurance of I&C.
Original languageEnglish
Title of host publicationInternational Symposium on Future I&C for Nuclear Power Plants, ISOFIC 2021
Subtitle of host publicationProceedings
PublisherOkayama University
Publication statusPublished - 15 Nov 2021
MoE publication typeD3 Professional conference proceedings
EventInternational Symposium on Future I&C for Nuclear Power Plants, ISOFIC 2021: Online - Hybrid, Okayama, Japan
Duration: 15 Nov 202117 Nov 2021

Conference

ConferenceInternational Symposium on Future I&C for Nuclear Power Plants, ISOFIC 2021
Abbreviated titleISOFIC 2021
Country/TerritoryJapan
CityOkayama
Period15/11/2117/11/21

Keywords

  • instrumentation and control
  • model checking
  • verification and validation
  • function block diagram

Fingerprint

Dive into the research topics of 'Oops! Examples of I&C design issues detected with model checking'. Together they form a unique fingerprint.

Cite this