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

Show simple item record
dc.contributor.authorAusberger, Tomáš
dc.contributor.authorKubíček, Karel
dc.contributor.authorMedvecová, Pavla
dc.contributor.authorWolf, Jindřich
dc.date.accessioned2023-02-13T11:00:19Z
dc.date.available2023-02-13T11:00:19Z
dc.date.issued2022
dc.description.abstract-translatedThis 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.format8 s.cs
dc.format.mimetypeapplication/pdf
dc.identifier.citationAUSBERGER, 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-0740cs
dc.identifier.doi10.1109/ETFA52439.2022.9921696
dc.identifier.isbn978-1-66549-996-5
dc.identifier.issn1946-0740
dc.identifier.obd43936984
dc.identifier.uri2-s2.0-85141357720
dc.identifier.urihttp://hdl.handle.net/11025/51447
dc.language.isoenen
dc.project.IDEF17_048/0007267/InteCom: VaV inteligentních komponent pokročilých technologií pro plzeňskou metropolitní oblastcs
dc.project.IDTM03000049/Pokročilá robotika pro nedestruktivní inspekci v drsných prostředíchcs
dc.project.ID8A20013/CHARM - Challenging environments tolerant Smart systems for IoT and AIcs
dc.publisherIEEEen
dc.relation.ispartofseries2022 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)en
dc.rightsPlný text je přístupný v rámci univerzity přihlášeným uživatelům.cs
dc.rights© IEEEen
dc.rights.accessrestrictedAccessen
dc.subject.translatedautomatic testsen
dc.subject.translatedFunction Block Diagramen
dc.subject.translatedI&C systemsen
dc.subject.translatedmodel checkingen
dc.subject.translatednuclear power planten
dc.subject.translatedREXYGENen
dc.subject.translatedsafety-related systemsen
dc.subject.translatedSMVen
dc.subject.translatedstructure-based testingen
dc.subject.translatedtest case generationen
dc.subject.translatedverificationen
dc.titleVerification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testingen
dc.typekonferenční příspěvekcs
dc.typeConferenceObjecten
dc.type.statusPeer-revieweden
dc.type.versionpublishedVersionen

Files

Original bundle
Showing 1 - 1 out of 1 results
No Thumbnail Available
Name:
Verification_of_a_safety-related_IampC_system_for_nuclear_power_plant_by_model_checking_test_case_generation_and_automatic_testing.pdf
Size:
1013.55 KB
Format:
Adobe Portable Document Format
Download

Collections

OBD
 Conference Papers (KKY)
 Conference papers (NTIS)