Title :
Modeling a fault-tolerant distributed system
Author :
Hlavicka, Jan ; Racek, Stanislav ; Herout, Pavel
Author_Institution :
Dept. of Comput. Sci. & Eng., Czech Tech. Univ., Prague, Czech Republic
Abstract :
A C-based simulation model of the time-triggered protocol (TTP/C) has been designed and implemented as a tool for verifying the properties of a system designed on the basis of it. The model has been provided with a user-friendly interface to allow easy visualization and evaluation of the results. The functionality of this general-purpose model is demonstrated on a simple TTP/C cluster application running under the influence of fault injection. The first round of experiments shows that the system is tolerant toward some typical transient faults like memory data distortion.
Keywords :
C language; distributed processing; fault tolerant computing; formal verification; modelling; protocols; user interfaces; C language; TTP/C; cluster application; evaluation; fault injection; fault-tolerant distributed system; memory data distortion; simulation model; time-triggered protocol; transient faults; user-friendly interface; verification; visualization; Access protocols; Application software; Communication system control; Computational modeling; Computer science; Fault tolerant systems; Libraries; Object oriented modeling; Real time systems; Time division multiple access;
Conference_Titel :
EUROCON'2001, Trends in Communications, International Conference on.
Conference_Location :
Bratislava, Slovakia
Print_ISBN :
0-7803-6490-2
DOI :
10.1109/EURCON.2001.938181
