Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F22%3A43965984" target="_blank" >RIV/49777513:23520/22:43965984 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1109/ETFA52439.2022.9921696" target="_blank" >https://doi.org/10.1109/ETFA52439.2022.9921696</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/ETFA52439.2022.9921696" target="_blank" >10.1109/ETFA52439.2022.9921696</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing

Popis výsledku v původním jazyce

This article describes a process for modern verification of safety-related I&amp;C (Instrumentation and Control) systems based on algorithm model checking, model-based test case generation and automatic testing. The verification process is compatible with IEC 60880 standard, and utilises methods presented in previously published articles including automatic formalisation and model checking of FBD algorithms and model-based test case generation. This verification process was applied on a real safety-related I&amp;C system for a nuclear power plant. Due to confidentiality of the real application, the process is presented mostly on an simplified example. Nevertheless, the presented results contain information about both the example model and the real safety-related I&amp;C system. These results are utilised for discussion about suitability and efficiency of the presented verification process.

Název v anglickém jazyce

Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing

Popis výsledku anglicky

This article describes a process for modern verification of safety-related I&amp;C (Instrumentation and Control) systems based on algorithm model checking, model-based test case generation and automatic testing. The verification process is compatible with IEC 60880 standard, and utilises methods presented in previously published articles including automatic formalisation and model checking of FBD algorithms and model-based test case generation. This verification process was applied on a real safety-related I&amp;C system for a nuclear power plant. Due to confidentiality of the real application, the process is presented mostly on an simplified example. Nevertheless, the presented results contain information about both the example model and the real safety-related I&amp;C system. These results are utilised for discussion about suitability and efficiency of the presented verification process.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

20205 - Automation and control systems

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2022

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

2022 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

ISBN

978-1-66549-996-5

ISSN

1946-0740

e-ISSN

—

Počet stran výsledku

8

Strana od-do

—

Název nakladatele

IEEE

Místo vydání

New York

Místo konání akce

Stuttgard,Germany

Datum konání akce

6. 9. 2022

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—