Dataflow models for fault-tolerant control systemsDataflow 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.
Document ID
19850065608
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Papadopoulos, G. M. (MIT Cambridge, MA, United States)