Metodiky pro návrh systémů odolných proti poruchám do rekonfigurovatelných architektur - vývoj, implementace a verifikace

Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
Program
COST CZ
Veřejná soutěž
COST CZ 2 (SMSM2012LD2)
Hlavní účastníci
Vysoké učení technické v Brně / Fakulta informačních technologií
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
MSMT-7027/2012-36

Název projektu anglicky
Methodologies for Fault Tolerant Systems Design Development, Implementation and Verification
Anotace anglicky
The project has these goals and steps of research: 1) Development and implementation of a new methodology for fault tolerant systems design into FPGA including errors detection, faults localization, reconfiguration and synchronization after reconfiguration process. 2) Development and implementation of a new methodology for automated generation of diagnostic resources for on-line testing of FPGA based systems. 3) Development of techniques for the verification of fault tolerant systems quality together with SEU injector tool to be used for reconfigurable platforms. 4) Experimental evaluation of the methodology. 5) The analysis of project results.

Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
JC - Počítačový hardware a software
CEP - vedlejší obor
IN - Informatika
CEP - další vedlejší obor
JV - Kosmické technologie
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</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

Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Bylo provedeno experimentální ověření vytvořených metodik pro tvorbu odolných systémů v FPGA na komponentách řídící jednotky robota, dále byly vytvořený nástroje pro generování diagnostického vybavení, odolných architektur a konfiguračních dat. Také bylo upraveno verifikační prostředí pro řídící jednotku robota s ohledem na optimalizaci verifikace pomocí genetického algoritmu, byly implementovány základní principy metodiky pro návrh neuronových sítí odolných proti poruchám a ověření metodiky pro generování verifikačních vektorů s využitím techniky constraint verification.

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
CEP16-MSM-LD-U/02:1
Datum dodání záznamu
11. 10. 2017

Podobné projekty(10)