Title:	Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing
Authors:	Ausberger, Tomáš Kubíček, Karel Medvecová, Pavla Wolf, Jindřich
Citation:	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
Issue Date:	2022
Publisher:	IEEE
Document type:	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
Keywords in different language:	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
Abstract in different language:	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.
Rights:	Plný text je přístupný v rámci univerzity přihlášeným uživatelům. © IEEE
Appears in Collections:	Konferenční příspěvky / Conference papers (NTIS) Konferenční příspěvky / Conference Papers (KKY) OBD

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.