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”
LD12036

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