Využití metodiky Model checking pro testování systémů I&C v jaderné energetice
Cíle projektu
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.
Klíčová slova
Power engineeringVerification and validationInstrumentation and control systems (I&C)TesterModel CheckingFormal verificationTest case generation
Veřejná podpora
Poskytovatel
Technologická agentura ČR
Program
Program na podporu aplikovaného výzkumu, experimentálního vývoje a inovací THÉTA
Veřejná soutěž
THETA 1 (STA02018TK010)
Hlavní účastníci
dataPartner s.r.o.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
TK01020068 - Smlouva o poskytnutí podpory
Alternativní jazyk
Název projektu anglicky
Using the Model Checking for testing of I&C systems in nuclear power engineering
Anotace anglicky
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.
Vědní obory
Kategorie VaV
VV - Experimentální vývoj
OECD FORD - hlavní obor
20305 - Nuclear related engineering; (nuclear physics to be 1.3);
OECD FORD - vedlejší obor
20201 - Electrical and electronic engineering
OECD FORD - další vedlejší obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
CEP - odpovídající obory
(dle převodníku)AF - Dokumentace, knihovnictví, práce s informacemi
BC - Teorie a systémy řízení
BD - Teorie informace
IN - Informatika
JA - Elektronika a optoelektronika, elektrotechnika
JB - Senzory, čidla, měření a regulace
JF - Jaderná energetika
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Jedná se o předběžné údaje, neproběhlo Závěrečné oponentní řízení.
Termíny řešení
Zahájení řešení
1. 7. 2018
Ukončení řešení
31. 12. 2021
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
28. 2. 2021
Dodání dat do CEP
Důvěrnost údajů
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é.
Systémové označení dodávky dat
CEP22-TA0-TK-U
Datum dodání záznamu
30. 6. 2022
Finance
Celkové uznané náklady
31 409 tis. Kč
Výše podpory ze státního rozpočtu
18 274 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
12 611 tis. Kč
Základní informace
Uznané náklady
31 409 tis. Kč
Statní podpora
18 274 tis. Kč
58%
Poskytovatel
Technologická agentura ČR
OECD FORD
Nuclear related engineering; (nuclear physics to be 1.3);
Doba řešení
01. 07. 2018 - 31. 12. 2021