Title :
Dataflow Models for Fault-Tolerant Control Systems
Author :
Papadopoulos, G.M. ; Arvind
Author_Institution :
M.I.T. Laboratory for Computer Science, Cambridge MA 02139
Abstract :
Dataflow concepts are used to generate a unified hardware/software model of redundant physical systems which are prone to faults. Basic results in input congruence and synchronization are shown to reduce to a simple model of data exchanges between processing sites. Procedures are given for the construction of congruence schemata, the distinguishing features of any correctly designed redundant system.
Keywords :
Algorithm design and analysis; Clocks; Computational modeling; Control system synthesis; Fault tolerant systems; Hardware; LAN interconnection; Reliability engineering; Synchronization; Vehicles;
Conference_Titel :
American Control Conference, 1984
Conference_Location :
San Diego, CA, USA
