Verification and Validation of Automated Systems' Safety and Security
Public support
Provider
Ministry of Education, Youth and Sports
Programme
—
Call for proposals
—
Main participants
Vysoké učení technické v Brně / Fakulta informačních technologií
Contest type
M2 - International cooperation
Contract ID
MSMT-29455/2020-4/9
Alternative language
Project name in Czech
Verification and Validation of Automated Systems' Safety and Security
Annotation in Czech
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.
Scientific branches
R&D category
AP - Applied research
OECD FORD - main branch
20206 - Computer hardware and architecture
OECD FORD - secondary branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AF - Documentation, librarianship, work with information<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics<br>JC - Computer hardware and software
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
The project advances the verification and validation of computer systems with an emphasis on industrial use cases. Its impact has enriched the VUT with new software quality verification skills and fostered collaboration with industrial partners.
Solution timeline
Realization period - beginning
May 1, 2020
Realization period - end
Jul 31, 2023
Project status
U - Finished project
Latest support payment
Feb 9, 2023
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP24-MSM-8A-U
Data delivery date
Jul 1, 2024
Finance
Total approved costs
16,825 thou. CZK
Public financial support
10,935 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK