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

Volume

2

fYear

2001

fDate

4-7 July 2001

Firstpage

544

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;

fLanguage

English

Publisher

ieee

Conference_Titel

EUROCON'2001, Trends in Communications, International Conference on.

Conference_Location

Bratislava, Slovakia

Print_ISBN

0-7803-6490-2

Type

conf

DOI

10.1109/EURCON.2001.938181

Filename

938181