Výzkum metod a nástrojů pro verifikaci odolnosti vestavěných počítačových systémů proti poruchám

Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 2 (SGA02003GA-ST)
Hlavní účastníci
České vysoké učení technické v Praze / Fakulta elektrotechnická
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
—

Název projektu anglicky
Research of methods and tools for verification of embedded computer system fault tolerance
Anotace anglicky
Research of methods and tools for verification of embedded computer system fault tolerance. The goal of the project is to design and practically test the methods of fault tolerance verification, especially in the environment of control systems for highlyreliable and safe real-time control. Three mutually complementary approaches, namely fault injection, analytical computation of the reliability characteristics and formal verification, are considered. The fault injection will be implemented by software(SWIFI) and applied to the simulation model allowing to implement the function of the fault injector as one of several processes run in a pseudoparallel mode. For the analytical computation a method based on generalized Markov models will be used. Theformal verification will allow the specified properties of the system to be evaluated using its mathematical model and the efficiency of the methods used to be compared. From this comparison we can draw some conclusions concerning the applicability of

Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
JC - Počítačový hardware a software
CEP - vedlejší obor
BC - Teorie a systémy řízení
CEP - další vedlejší obor
—
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

Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Byla detailně rozpracována metodika verifikace návrhu distribuovaného počítačového systému určeného pro časově a bezpečnostně kritické aplikace počítačového řízení. Metodika využívá simulační model, jehož komponenty jsou vytvořeny na základě funkční spec

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
CEP06-GA0-GA-U/07:6
Datum dodání záznamu
15. 1. 2009

Podobné projekty(10)