Search:       RSS, Atom

Site navigation:

Methods and tools for verification of embedded computer system fault tolerance (GAÄŒR 102/03/0672)

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 highly reliable 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. The formal 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 the investigated methods (individually or in combinations), and/or aiming at their improvement.

Formal project information

This project is supported by the Grant Agency of the Czech Republic, GAČR Grant 102/03/0672 (the total budged is over 3mil Kč). Co-operating institutions:

  • Czech Technical University in Prague (project lead, head prof. Hlavička),
  • University of West Bohemia (head: prof. Šafařík),
  • Charles University in Prague (head: prof. Plášil).

The project is scheduled for years 2003-2005.


For related information see KIV/DCSE Research page.