Using the Model Checking for testing of I&C systems in nuclear power engineering
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)
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AF - Documentation, librarianship, work with information<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics<br>JA - Electronics and optoelectronics<br>JB - Sensors, detecting elements, measurement and regulation<br>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