Aggregated Quality Assurance for Systems
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-20404/2017-2
Alternative language
Project name in Czech
Aggregated Quality Assurance for Systems
Annotation in Czech
There is an ever increasing complexity of the systems we engineer in modern society, which includes facing the convergence of the embedded world and the open world. This complexity creates increasing difficulty with providing assurance for factors including safety, security and performance - particularly for safety critical systems such as the transportation, aerospace and the industrial control domains. In this project we will focus on the following: • Safety/Security/Performance to be considered together, during the overall life cycle of our products. • Flexibility across domains. • Consolidate the industrial market by reducing costs and increasing system quality and maintaining compliance with more and more exacting standards. • Improved tool features and capabilities. The project targets development of methods and tools for aggregated quality assurance covering safety, security, as well as performance of computer-controlled systems. The methods and tools being developed in the project will be evaluated on case studies from the areas of aerospace, space, automotive, rail, as well as medical machines. 1.6 Cíle řešení projektu v anglickém jazyce (max 2000 znaků) There is an ever increasing complexity of the systems we engineer in modern society, which includes facing the convergence of the embedded world and the open world. This complexity creates increasing difficulty with providing assurance for factors including safety, security and performance - particularly for safety critical systems such as the transportation, aerospace and the industrial control domains. In this project we will focus on the following: • Safety/Security/Performance to be considered together, during the overall life cycle of our products. • Flexibility across domains. • Consolidate the industrial market by reducing costs and increasing system quality and maintaining compliance with more and more exacting standards. • Improved tool features and capabilities.
Scientific branches
R&D category
AP - Applied research
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
IN - Informatics
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20206 - Computer hardware and architecture
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
The project produced a number of tools and methods from the areas of static and dynamic analysis of correctness of software (especially multithreaded software), static and dynamic analysis of software performance, as well as security of computer systems.
Solution timeline
Realization period - beginning
May 1, 2017
Realization period - end
Apr 30, 2020
Project status
U - Finished project
Latest support payment
Feb 27, 2020
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
CEP21-MSM-8A-U/01:1
Data delivery date
Jun 23, 2021
Finance
Total approved costs
22,917 thou. CZK
Public financial support
14,862 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
8,055 thou. CZK