Methodologies for Fault Tolerant Systems Design Development, Implementation and Verification
Public support
Provider
Ministry of Education, Youth and Sports
Programme
COST CZ
Call for proposals
COST CZ 2 (SMSM2012LD2)
Main participants
Vysoké učení technické v Brně / Fakulta informačních technologií
Contest type
VS - Public tender
Contract ID
MSMT-7027/2012-36
Alternative language
Project name in Czech
Metodiky pro návrh systémů odolných proti poruchám do rekonfigurovatelných architektur - vývoj, implementace a verifikace
Annotation in Czech
Cíl navrhovaného projektu lze shrnout do několika hlavních bodů: 1) vývoj technik potřebných pro realizaci ověření kvality odolnosti proti poruchám a to konkrétně: vývoj prostředí pro ověřování reakce systémů odolných proti poruchám na injektované poruchy, vývoj, implementace a ověření nových metod injekce poruch do návrhů implementovaných do rekonfigurovatelných architektur, 2) návrh, vývoj a implementace metodiky pro automatizované generování podpůrných diagnostických prostředků pro on-line testovánísystémů implementovaných do rekonfigurovatelných architektur, 3) návrh, vývoj a implementace nové metodiky pro realizaci systémů odolných proti poruchám do rekonfigurovatelných architektur zahrnující detekci a lokalizaci všech typů poruch, rekonfiguracia synchronizaci systémů po rekonfiguraci, 4) experimentální ověření navržených metodik, 5) analýza výsledků projektu.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
JC - Computer hardware and software
CEP - secondary branch
IN - Informatics
CEP - another secondary branch
JV - Cosmic technologies
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<br>20304 - Aerospace engineering
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
We verified all methodologies for fault tolerant system design in FPGA based on components of robot controller. We created tools for generation of checkers, generation of fault tolerant architectures and configuration bitstreams. Also we updated the verification environment using genetic algorithm together with validation of methodology for generating test vectors using constraint verification technique.
Solution timeline
Realization period - beginning
Mar 1, 2012
Realization period - end
Nov 30, 2015
Project status
U - Finished project
Latest support payment
Feb 26, 2015
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
CEP16-MSM-LD-U/02:1
Data delivery date
Oct 11, 2017
Finance
Total approved costs
1,512 thou. CZK
Public financial support
1,292 thou. CZK
Other public sources
220 thou. CZK
Non public and foreign sources
0 thou. CZK