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.
This work has been partially supported by the CRISYS Esprit Project
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Abadi and L. Lamport. An old-fashioned recipe for real time. ACM Transactions on Programming Languages and Systems, 16(5):1543–1571, 1994.
S. Bensalem, P. Caspi, C. Dumas, and C. Parent-Vigouroux. A methodology for proving control programs with Lustre and PVS. In Dependable Computing for Critical Applications, DCCA-7, San Jose. IEEE Computer Society, January 1999.
J.-L. Bergerand and E. Pilaud. Saga: A software development environment for dependability in automatic control. In IFAC-SAFECOMP’88. Pergamon Press, 1988.
D. Brière, D. Ribot, D. Pilaud, and J.L. Camus. Methods and specification tools for Airbus on-board systems. In Avionics Conference and Exhibition, London, December 1994. ERA Technology.
P. Caspi and N. Halbwachs. A functional model for describing and reasoning about time behaviour of computing systems. Acta Informatica, 22:595–627, 1986.
M.J. Fisher, N.A. Lynch, and M.S. Patterson. Impossibility of distributed consensus with one faulty processor. Journal of the ACM, 32(2):374–382, 1985.
A.H. Hopkins, T. Basi Smith, and J.H. Lala. FTMP:a highly reliable fault-tolerant multiprocessor for aircraft. Proceedings of the IEEE, 66(10):1221–1239, 1978.
H. Kopetz, A. Damm, Ch. Koza, M. Mulazzani, W. Schwabl, Ch. Senft, and R. Zainlinger. Distributed fault-tolerant real-time systems: the MARS approach. IEEE Micro, 9(1):25–40, 1989.
M. Pease, R.E. Shostak, and L. Lamport. Reaching agreement in the presence of faults. Journal of the ACM, 27(2):228–237, 1980.
J.H. Wensley, L. Lamport, J. Goldberg, M.W. Green, K.N. Lewitt, P.M. Melliar-Smith, R.E Shostak, and Ch.B. Weinstock. SIFT: Design and analysis of a fault-tolerant computer for aircraft control. Proceedings of the IEEE, 66(10):1240–1255, 1978.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Caspi, P., Salem, R. (2000). Threshold and Bounded-Delay Voting in Critical Control Systems. In: Joseph, M. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 2000. Lecture Notes in Computer Science, vol 1926. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45352-0_8
Download citation
DOI: https://doi.org/10.1007/3-540-45352-0_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41055-3
Online ISBN: 978-3-540-45352-9
eBook Packages: Springer Book Archive