All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
8A20008

Verification and Validation of Automated Systems' Safety and Security

Public support

  • Provider

    Ministry of Education, Youth and Sports

  • Programme

  • Call for proposals

  • Main participants

    Roboauto s.r.o.

  • Contest type

    M2 - International cooperation

  • Contract ID

    MSMT-29455/2020-4/8

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 VALU3S project has enabled the development and application of various methods and tools for security analysis and testing of complex systems such as teleoperation. Roboauto has extended and accelerated the verification and validation of the teleoperation system.

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

    8,251 thou. CZK

  • Public financial support

    3,300 thou. CZK

  • Other public sources

    0 thou. CZK

  • Non public and foreign sources

    2,475 thou. CZK