Full metadata record
DC pole | Hodnota | Jazyk |
---|---|---|
dc.contributor.author | Ausberger, Tomáš | |
dc.contributor.author | Kubíček, Karel | |
dc.contributor.author | Medvecová, Pavla | |
dc.contributor.author | Wolf, Jindřich | |
dc.date.accessioned | 2023-02-13T11:00:19Z | - |
dc.date.available | 2023-02-13T11:00:19Z | - |
dc.date.issued | 2022 | |
dc.identifier.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 | cs |
dc.identifier.isbn | 978-1-66549-996-5 | |
dc.identifier.issn | 1946-0740 | |
dc.identifier.uri | 2-s2.0-85141357720 | |
dc.identifier.uri | http://hdl.handle.net/11025/51447 | |
dc.format | 8 s. | cs |
dc.format.mimetype | application/pdf | |
dc.language.iso | en | en |
dc.publisher | IEEE | en |
dc.relation.ispartofseries | 2022 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) | en |
dc.rights | Plný text je přístupný v rámci univerzity přihlášeným uživatelům. | cs |
dc.rights | © IEEE | en |
dc.title | Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing | en |
dc.type | konferenční příspěvek | cs |
dc.type | ConferenceObject | en |
dc.rights.access | restrictedAccess | en |
dc.type.version | publishedVersion | en |
dc.description.abstract-translated | 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. | en |
dc.subject.translated | automatic tests | en |
dc.subject.translated | Function Block Diagram | en |
dc.subject.translated | I&C systems | en |
dc.subject.translated | model checking | en |
dc.subject.translated | nuclear power plant | en |
dc.subject.translated | REXYGEN | en |
dc.subject.translated | safety-related systems | en |
dc.subject.translated | SMV | en |
dc.subject.translated | structure-based testing | en |
dc.subject.translated | test case generation | en |
dc.subject.translated | verification | en |
dc.identifier.doi | 10.1109/ETFA52439.2022.9921696 | |
dc.type.status | Peer-reviewed | en |
dc.identifier.obd | 43936984 | |
dc.project.ID | EF17_048/0007267/InteCom: VaV inteligentních komponent pokročilých technologií pro plzeňskou metropolitní oblast | cs |
dc.project.ID | TM03000049/Pokročilá robotika pro nedestruktivní inspekci v drsných prostředích | cs |
dc.project.ID | 8A20013/CHARM - Challenging environments tolerant Smart systems for IoT and AI | cs |
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/51447
Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.