Title :
A discrete-event systems approach to communication induced checkpointing
Author_Institution :
Dept. of Math. & Comput. Sci., Mount Allison Univ., Sackville, NB, Canada
Abstract :
A particular communication protocol for distributed computations is examined in the context of supervisory control. A critical part of these protocols allows for the formation of special system states the system reliably returns to in the event of deadlock or failure. The proposed discrete-event system makes use of Z-path theory from distributed computing literature to provide decentralized controllers with information to identify these special states.
Keywords :
decentralised control; deterministic automata; discrete event systems; distributed processing; fault tolerant computing; finite automata; protocols; system recovery; Z-path theory; communication induced checkpointing; communication protocol; deadlock; decentralized controllers; deterministic finite automata; discrete-event systems approach; distributed computations; special system states; supervisory control; system reliability; Checkpointing; Computer science; Control systems; Discrete event systems; Distributed computing; Mathematics; Niobium; Protocols; Supervisory control; System recovery;
Conference_Titel :
Discrete Event Systems, 2002. Proceedings. Sixth International Workshop on
Print_ISBN :
0-7695-1683-1
DOI :
10.1109/WODES.2002.1167671
