Abstract
In this paper we consider a behavioural specification for a multiprocessor control system. The specified behaviour exhibits two desirable properties: it reacts to spontaneous changes of the controlled process and its environment with minimal delay and it is insensitive to a large class of random processor malfunctions. Both properties improve with increased number of processors involved.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Turski, W.M.: Specification of Multiprocessor Computing. Acta Informatica 27(1990) 685–696.
Turski, W.M.: Programming for Behaviour. In: R.S. Bird, C.C. Morgan and J.C.P. Woodcock (Eds.) Mathematics of Program Construction. LNCS 669, Springer-Verlag (1993) 18-31.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag/Wien
About this paper
Cite this paper
Turski, W.M. (1995). On Doubly Guarded Multiprocessor Control System Design. In: Cristian, F., Le Lann, G., Lunt, T. (eds) Dependable Computing for Critical Applications 4. Dependable Computing and Fault-Tolerant Systems, vol 9. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9396-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9396-9_1
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-9398-3
Online ISBN: 978-3-7091-9396-9
eBook Packages: Springer Book Archive