Using the Model Checking for testing of I&C systems in nuclear power engineering
Project goals
The main objective of the project is to increase quality and safety of the operation of existing and newly built nuclear power plants. The project is divided into two sub-objectives, their application forms a tool for effective verification of newly developed I&C systems for nuclear power engineering. 1. Design, development and production of a software tool based on the Model checking principle to verify the design of I&C algorithms and generate scenarios for the I&C Systems Tester. 2. Design, development and production of the I&C Systems Tester prototype. The resulting product will significantly improve the quality of the Validation and Verification processes required by the IEC 60880 or IEC 62138 international standards.
Keywords
Power engineeringVerification and validationInstrumentation and control systems (I&C)TesterModel CheckingFormal verificationTest case generation
Public support
Provider
Technology Agency of the Czech Republic
Programme
Programme for funding of applied research, experimental development, and innovation THETA
Call for proposals
THETA 1 (STA02018TK010)
Main participants
dataPartner s.r.o.
Contest type
VS - Public tender
Contract ID
TK01020068 - Smlouva o poskytnutí podpory
Alternative language
Project name in Czech
Využití metodiky Model checking pro testování systémů I&C v jaderné energetice
Annotation in Czech
Hlavním záměrem projektu je zvýšení kvality a bezpečnosti provozu současných i nově budovaných výrobních bloků jaderných elektráren. Projekt je rozdělen do dvou dílčích cílů, jejich aplikací vznikne nástroj, zařízení, pro efektivní ověřování nově vyrobených I&C systémů pro jadernou energetiku: 1. Návrh, vývoj a výroba programového nástroje na principu Model checking pro ověřování návrhu algoritmů I&C a vygenerování scénářů pro Tester systémů I&C. 2. Návrh, vývoj a výroba funkčního vzorku testovacího zařízení - Testeru systémů I&C. Výsledný produkt významně zvýší kvalitu procesů Verifikace a Validace požadovaných např. mezinárodními standarty IEC 60880:2006 nebo IEC 62138:2004 na I&C vykonávající funkce kategorií A, B nebo C.
Scientific branches
R&D category
VV - Exeperimental development
OECD FORD - main branch
20305 - Nuclear related engineering; (nuclear physics to be 1.3);
OECD FORD - secondary branch
20201 - Electrical and electronic engineering
OECD FORD - another secondary branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
AF - Documentation, librarianship, work with information
BC - Theory and management systems
BD - Information theory
IN - Informatics
JA - Electronics and optoelectronics
JB - Sensors, detecting elements, measurement and regulation
JF - Nuclear energy
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
These are preliminary data, the project evaluation hasn´t proceeded yet.
Solution timeline
Realization period - beginning
Jul 1, 2018
Realization period - end
Dec 31, 2021
Project status
U - Finished project
Latest support payment
Feb 28, 2021
Data delivery to CEP
Confidentiality
C - Předmět řešení projektu podléhá obchodnímu tajemství (§ 504 Občanského zákoníku), ale název projektu, cíle projektu a u ukončeného nebo zastaveného projektu zhodnocení výsledku řešení projektu (údaje P03, P04, P15, P19, P29, PN8) dodané do CEP, jsou upraveny tak, aby byly zveřejnitelné.
Data delivery code
CEP22-TA0-TK-U
Data delivery date
Jun 30, 2022
Finance
Total approved costs
31,409 thou. CZK
Public financial support
18,274 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
12,611 thou. CZK
Recognised costs
31 409 CZK thou.
Public support
18 274 CZK thou.
0%
Provider
Technology Agency of the Czech Republic
OECD FORD
Nuclear related engineering; (nuclear physics to be 1.3);
Solution period
01. 07. 2018 - 31. 12. 2021