• DocumentCode
    486178
  • 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
  • fYear
    1984
  • fDate
    6-8 June 1984
  • Firstpage
    1131
  • Lastpage
    1137
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    American Control Conference, 1984
  • Conference_Location
    San Diego, CA, USA
  • Type

    conf

  • Filename
    4788543