Využití metodiky Model checking pro testování systémů I&C v jaderné energetice

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

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.

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 <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika<br>JA - Elektronika a optoelektronika, elektrotechnika<br>JB - Senzory, čidla, měření a regulace<br>JF - Jaderná energetika

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í.

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

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

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č