Threshold and Bounded-Delay Voting in Critical Control Systems

Authors:
Paul Caspi;Rym Salem
Affiliations:
-;-
Venue:
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Year:
2000

Citing 6
Cited 9

A functional model for describing and reasoning about time behaviour of computing systems

Acta Informatica
An old-fashioned recipe for real time

ACM Transactions on Programming Languages and Systems (TOPLAS)
Impossibility of distributed consensus with one faulty process

Journal of the ACM (JACM)
Reaching Agreement in the Presence of Faults

Journal of the ACM (JACM)
Distributed Fault-Tolerant Real-Time Systems: The Mars Approach

IEEE Micro
A Methodology for Proving Control Systems with Lustre and PVS

DCCA '99 Proceedings of the conference on Dependable Computing for Critical Applications

Non-massive, Non-high Performance, Distributed Computing: Selected Issues

Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Some Synchronization Issues When Designing Embedded Systems from Components

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Toward an Approximation Theory for Computerised Control

EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Synchronous Modelling of Asynchronous Systems

EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Embedded Control: From Asynchrony to Synchrony and Back

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Dynamically Detecting Faults via Integrity Constraints

Methods, Models and Tools for Fault Tolerance
Reputation-based networked control with data-corrupting channels

Proceedings of the 14th international conference on Hybrid systems: computation and control
Approximation, sampling and voting in hybrid computing systems

HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Static analysis by abstract interpretation of the quasi-synchronous composition of synchronous programs

VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper investigates the possibility of implementing fault tolerance in control systems without using clock synchronization. We first show that threshold voting applies to stable continuous systems and that bounded delay voting applies to combinational systems. We also show that 2/2 bounded delay voting is insensitive to Byzantine faults and applies to stable sequential systems. It thus allows the implementation of hybrid fault tolerance strategies.