Verification and Validation of Automated Systems' Safety and Security
Veřejná podpora
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
Program
Společná technologická iniciativa ECSEL
Veřejná soutěž
—
Hlavní účastníci
Vysoké učení technické v Brně / Fakulta informačních technologií
Druh soutěže
M2 - Mezinárodní spolupráce
Číslo smlouvy
MSMT-29455/2020-4/9
Alternativní jazyk
Název projektu anglicky
Verification and Validation of Automated Systems' Safety and Security
Anotace anglicky
The high complexity of automated systems incurs an overhead on the V&V process making it time-consuming and costly. VALU3S aims to design, implement and evaluate state-of-the-art V&V methods and tools that reduce the time and cost needed to verify and validate automated systems with respect to safety, cybersecurity and privacy (SCP) requirements.
Vědní obory
Kategorie VaV
AP - Aplikovaný výzkum
OECD FORD - hlavní obor
20206 - Computer hardware and architecture
OECD FORD - vedlejší obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - další vedlejší obor
—
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>JC - Počítačový hardware a software
Termíny řešení
Zahájení řešení
1. 5. 2020
Ukončení řešení
31. 7. 2023
Poslední stav řešení
K - Končící víceletý projekt
Poslední uvolnění podpory
27. 4. 2022
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP23-MSM-8A-R
Datum dodání záznamu
19. 4. 2023
Finance
Celkové uznané náklady
16 825 tis. Kč
Výše podpory ze státního rozpočtu
10 935 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč