Applying coloured Petri nets to analyze fail silent nodes in distributed systems

Author

Sampaio, Lívia M R ; De Figueiredo, Jorge C A ; Brasileiro, Francisco V.

Author_Institution

Dept. of Comput. Sci., Univ. Fed. da Paraiba, Brazil

Volume

1

fYear

1998

fDate

11-14 Oct 1998

Firstpage

268

Abstract

A fail-silent node is a self-checking node composed of a number of conventional fail-uncontrolled processors that work together to provide the following fail-controlled behavior: the node either functions correctly or stops functioning after an internal failure is detected. In a software implemented fail-silent node, the non-faulty processors of the node need to execute message order and comparison protocols to keep in step and check each other respectively. In this paper we present a Petri net model for a software implemented fail-silent node specification. Formal analysis by means of occurrence graph is also shown.

Keywords

Petri nets; distributed processing; fault tolerant computing; formal specification; graph colouring; coloured Petri nets; comparison protocols; distributed systems; fail silent nodes; fail-controlled behavior; fail-uncontrolled processors; internal failure; message order; occurrence graph; self-checking node; software implemented fail-silent node specification; Computer science; Distributed computing; EMP radiation effects; Failure analysis; Fault detection; Fault tolerant systems; Hardware; Petri nets; Protocols;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on

ISSN

1062-922X

Print_ISBN

0-7803-4778-1

Type

conf

DOI

10.1109/ICSMC.1998.725420

Filename

725420