Verification and Validation of Automated Systems' Safety and Security
Cíle projektu
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.
Klíčová slova
SecurityAutomotiveSimulation tools and technologiesIndustrial Automation and RoboticsMechatronicsSystem of Systems
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
(dle převodníku)AF - Dokumentace, knihovnictví, práce s informacemi
BC - Teorie a systémy řízení
BD - Teorie informace
IN - Informatika
JC - Počítačový hardware a software
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Projekt posouvá vývoj počítačových systémů zefektivněním verifikace a validace s důrazem na konkrétní průmyslové případy použití. Jeho vliv obohatil VUT o nové dovednosti ověřování kvality softwaru a podpořil spolupráci s průmyslovými partnery.
Termíny řešení
Zahájení řešení
1. 5. 2020
Ukončení řešení
31. 7. 2023
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
9. 2. 2023
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
CEP24-MSM-8A-U
Datum dodání záznamu
1. 7. 2024
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č
Uznané náklady
16 825 tis. Kč
Statní podpora
10 935 tis. Kč
0%
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
OECD FORD
Computer hardware and architecture
Doba řešení
01. 05. 2020 - 31. 07. 2023