Abstract
We examine the task of constructing self-stabilizing real-time decision systems, which take their input from an external environment, and present a series of results concerning compilers which force the property of self-stabilization onto such systems. We consider compilers that do and do not preserve termination applied to finite state and infinite state programs.
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.
Similar content being viewed by others
References
Baruch Awerbuch, George Varghese. Distributed Program Checking: a Paradigm for Building Self-stabilizing Distributed Protocols. Proceedings of the 32 nd IEEE Symp. on Foundations of Computer Science, October 1991.
J. C. Browne, A. Emerson, M. Gouda, D. Miranker, A. Mok, L. Rosier. Bounded-Time Fault-Tolerant Rule-Based Systems. Telematics and Informatics, Vol. 7, Nos. 3/4, pp. 441–454, 1990.
J. C. Browne, A. Emerson, M. Gouda, D. Miranker, A. Mok, S. Chodrow, R.-H Wang, D. Tsou, L. Obermeyer. Correct and Robust Decision Systems for High Complexity Critical Control Systems. Submitted to The Third International Workshop on Responsive Computer Systems.
K.M. Chandy, J. Misra. Parallel Program Design A Foundation. Addison-Wesley Publishing Company, Inc., 1988.
A. M. K. Cheng. Analysis and Synthesis of Real-Time Rule-Based Decision Systems. Ph.D. Dissertation, Dept. of Computer Sciences, University of Texas at Austin, 1990.
A. M. K. Cheng. Self-Stabilizing Real-Time Rule-Based Systems. Proc. of the 11th Annual Symposium on Reliable Distributed Systems, Houston, Texas, October 1992.
E. W. Dijkstra. EWD391 Self-stabilization in spite of distributed control. 1973. Reprinted in Selected Writings on Computing: A Personal Perspective, Springer-Verlag, Berlin, 1982, pp. 41–46.
E. W. Dijkstra. Self stabilizing systems in spite of distributed control. Communications of the ACM, 17:643–644, 1974.
P. V. Emde Boas. Machine Models and Simulations. Handbook of Theoretical Computer Science, Vol. A, North-Holland, Amsterdam, 1990
M. G. Gouda, R. R. Howell, L. E. Rosier. The instability of self-stabilization. Acta Informatica, Vol. 27, pp. 697–724, 1990.
D. Johnson. A Catalog of Complexity Classes. Handbook of Theoretical Computer Science, Vol. A, North-Holland, Amsterdam, 1990
S. Katz, K. J. Perry. Self-stabilizing Extensions for Message Passing Systems. Proc. of the 9th Annual ACM Symp. on Principles of Distributed Computing, Quebec City, Canada, August 1990.
R. M. Karp, V. Ramachandran. Parallel algorithms for shared-memory machines. Handbook of Theoretical Computer Science, Vol. A, North-Holland, Amsterdam, 1990
M. Schneider. Self Stabilization - A Unified Approach To Fault Tolerance In The Face of Transient Errors. Course Notes in Distributed Computing, Edited by Jayadev Misra and Josyula R. Rao, Technical Report TR-91–18, Department of Computer Sciences, The University of Texas at Austin, April 1991.
M. Schneider. Self-Stabilization. ACM Computing Surveys, Vol. 25, No. 1, March 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media New York
About this chapter
Cite this chapter
Schneider, M. (1995). Self-Stabilizing Real-Time Decision Systems. In: Fussell, D.S., Malek, M. (eds) Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems. The Springer International Series in Engineering and Computer Science, vol 297. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-2271-3_2
Download citation
DOI: https://doi.org/10.1007/978-1-4615-2271-3_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-9563-8
Online ISBN: 978-1-4615-2271-3
eBook Packages: Springer Book Archive