| Název: | Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing |
| Autoři: | Ausberger, Tomáš Kubíček, Karel Medvecová, Pavla Wolf, Jindřich |
| Citace zdrojového dokumentu: | AUSBERGER, T. KUBÍČEK, K. MEDVECOVÁ, P. WOLF, J. Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing. In 2022 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). New York: IEEE, 2022. s. nestránkováno. ISBN: 978-1-66549-996-5 , ISSN: 1946-0740 |
| Datum vydání: | 2022 |
| Nakladatel: | IEEE |
| Typ dokumentu: | konferenční příspěvek ConferenceObject |
| URI: | 2-s2.0-85141357720 http://hdl.handle.net/11025/51447 |
| ISBN: | 978-1-66549-996-5 |
| ISSN: | 1946-0740 |
| Klíčová slova v dalším jazyce: | automatic tests;Function Block Diagram;I&C systems;model checking;nuclear power plant;REXYGEN;safety-related systems;SMV;structure-based testing;test case generation;verification |
| Abstrakt v dalším jazyce: | This article describes a process for modern verification of safety-related I&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&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&C system. These results are utilised for discussion about suitability and efficiency of the presented verification process. |
| Práva: | Plný text je přístupný v rámci univerzity přihlášeným uživatelům. © IEEE |
| Vyskytuje se v kolekcích: | Konferenční příspěvky / Conference papers (NTIS) Konferenční příspěvky / Conference Papers (KKY) OBD |
Soubory připojené k záznamu:
Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam:
http://hdl.handle.net/11025/51447Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.