Automatizace formální verifikace
Veřejná podpora
Poskytovatel
Technologická agentura ČR
Program
Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON
Veřejná soutěž
EPSILON 4 (STA02018TH040)
Hlavní účastníci
Honeywell International s.r.o.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
TH04010192 - Smlouva o poskytnutí podpory
Alternativní jazyk
Název projektu anglicky
Automation of Formal Verification
Anotace anglicky
The goal of the AUtomation FOrmal Verification (AUFOVER) project is to develop automated formal verification tools and integrate them for industrial use. The tools will be developed or improved within the project: Verification Server, Verification Server Client Application, Scmock Plugins, DIVINE, Symbiotic and Testos. The purpose of the grant is to finish the development of university tools based on formal mathematical methods and their transfer to a commercial environment, including integration with industrial partner's tools, and incorporation of these tools into the commercial processes for software verification. At the end of the project, it is expected to demonstrate the benefits of integration of formal verification into the project partner's software development lifecycle.
Vědní obory
Kategorie VaV
VV - Experimentální vývoj
OECD FORD - hlavní obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - vedlejší obor
20304 - Aerospace engineering
OECD FORD - další vedlejší obor
10102 - Applied mathematics
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>JU - Aeronautika, aerodynamika, letadla<br>JV - Kosmické technologie
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. 1. 2019
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-TH-U
Datum dodání záznamu
30. 6. 2022
Finance
Celkové uznané náklady
27 914 tis. Kč
Výše podpory ze státního rozpočtu
16 376 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
11 830 tis. Kč