Tolerating failures of continuous-valued sensors

One aspect of fault-tolerance in process control programs is the ability to tolerate sensor failure. This paper presents a methodology for transforming a process control program that cannot tolerate sensor failures into one that can. Issues addressed include modifying specifications in order to accommodate uncertainty in sensor values and averaging sensor values in a fault-tolerant manner. In addition, a hierarchy of sensor failure models is identified, and both the attainable accuracy and the run-time complexity of sensor averaging with respect to this hierarchy is discussed.

[1]  Fred B. Schneider,et al.  Byzantine generals in action: implementing fail-stop processors , 1984, TOCS.

[2]  Leslie Lamport,et al.  Using Time Instead of Timeout for Fault-Tolerant Distributed Systems. , 1984, TOPL.

[3]  Nancy A. Lynch,et al.  Reaching approximate agreement in the presence of faults , 1986, JACM.

[4]  M. Golumbic.  Algorithmic graph theory and perfect graphs , 1980 .

[5]  Michael J. Fischer,et al.  The Consensus Problem in Unreliable Distributed Systems (A Brief Survey) , 1983, FCT.

[6]  J. von Neumann,et al.  Probabilistic Logic and the Synthesis of Reliable Organisms from Unreliable Components , 1956 .

[7]  Gil Neiger,et al.  Automatically increasing the fault-tolerance of distributed systems , 1988, PODC '88.

[8]  John P. Kearns,et al.  Data editing: faster convergence for synchronous approximate agreement , 1988, [1988] Proceedings. The 8th International Conference on Distributed.

[9]  Fred B. Schneider,et al.  Implementing fault-tolerant services using the state machine approach: a tutorial , 1990, CSUR.

[10]  Aloysius K. Mok,et al.  Safety analysis of timing properties in real-time systems , 1986, IEEE Transactions on Software Engineering.

[11]  Manuel Blum,et al.  Time Bounds for Selection , 1973, J. Comput. Syst. Sci..

[12]  M. Golumbic.  CHAPTER 3 – Perfect Graphs , 1980 .

[13]  R. Möhring.  Algorithmic graph theory and perfect graphs , 1986 .

[14]  Ruurd Kuiper,et al.  Paradigms for Real-time Systems , 1988, FTRTFT.

[15]  Fred B. Schneider,et al.  Inexact agreement: accuracy, precision, and graceful degradation , 1985, PODC '85.

[16]  Tomás Lozano-Pérez,et al.  Spatial Planning: A Configuration Space Approach , 1983, IEEE Transactions on Computers.

[17]  Keith Marzullo,et al.  Maintaining the time in a distributed system , 1985, OPSR.

[18]  I. M. MacLeod.  Data Consistency in Sensor-Based Distributed Computer Control Systems , 1984, ICDCS.

[19]  Keith Ansel Marzullo,et al.  Maintaining the time in a distributed system: an example of a loosely-coupled distributed service (synchronization, fault-tolerance, debugging) , 1984 .