On Doubly Guarded Multiprocessor Control System Design
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.
KeywordsExecution Time Average Delay Behavioural Specification Abnormal Situation Digital Control System
Unable to display preview. Download preview PDF.
- 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.Google Scholar