Title :
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
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;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.725420
