On Doubly Guarded Multiprocessor Control System Design

  • Władysław M. Turski
Part of the Dependable Computing and Fault-Tolerant Systems book series (DEPENDABLECOMP, volume 9)


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.


Execution Time Average Delay Behavioural Specification Abnormal Situation Digital Control System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Turski, W.M.: Specification of Multiprocessor Computing. Acta Informatica 27(1990) 685–696.MATHCrossRefGoogle Scholar
  2. [2]
    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

Copyright information

© Springer-Verlag/Wien 1995

Authors and Affiliations

  • Władysław M. Turski
    • 1
  1. 1.Institute of InformaticsWarsaw UniversityWarsawPoland

Personalised recommendations