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

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

    47 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