Distributed computer systems: Two views

  • J. Kramer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 152)


Two views, theoretical and practical, of distributed computer systems (DCS) for industrial real-time use are discussed. The mechanism required of the software for a DCS and the issues of interest in each of the major phases in a DCS lifecycle are presented. Using this framework two particular approaches developed at Imperial College, Stable Modules and CONIC, are described as examples of a theoretical and a practical approach respectively. Although they have much in common, the gulf between theory and practice is very wide. The difficulties of bridging this gulf is discussed.


Imperial College Output Port Message Passing Input Port Stable Module 
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. [ADA]
    Reference manual for the ADA programming language, US Department of Defence, July 1980.Google Scholar
  2. [CONIC]1.
    Lister,A., Magee,J., Sloman,M. and Kramer,J. Distributed process control systems: programming and configuration, Research Report 80/12, DoC, Imperial College, London SW7, May 1980.Google Scholar
  3. 2.
    Kramer,J., Magee,J. and Sloman,M. Intertask communication primitives for distributed process control systems, Proc. of 2nd Int. Conf. on Distributed Computing Systems. Paris, April 1981.Google Scholar
  4. 3.
    Kramer,J., Magee,J. and Sloman,M. A software architecture for distributed computer control systems. Proc. IFAC Symposium on Theory and Applications of Digital Control, New Delhi, India, Jan. 1982. (To appear in Automatica)Google Scholar
  5. [CONVEY]
    Kramer,J. Case study: simulation of a coal clearance system. Stage 1: a mainframe implementation in SIMULA. Research Report 81/17, DoC, Imperial college, Aug. 1981.Google Scholar
  6. [COSY]
    Lauer,P.E., Shields,M.W. and Best,E. On the design and certification of asynchronous systems of processes: COSY, Report ASM/45, Computer Lab., University of Newcastle upon Tyne, 1978.Google Scholar
  7. [CSP]
    Hoare, C.A.R. Communicating sequential processes, Comm.ACM (21,8), Aug. 1978.Google Scholar
  8. [DCLU]
    Liskov, B. Primitives for distributed computing, Proc.7th ACM Sigops Symposium on Operating System Principles, Dec. 1979.Google Scholar
  9. [DIST]
    Down,P. and Taylor,F. Why distributed computing, NCC Publications, 1977.Google Scholar
  10. [GC]
    Dijkstra,E.W. Guarded commands, nondeterminacy, and the formal derivation of programs, Comm.ACM (18,8), Aug. 1975.Google Scholar
  11. [INV]
    Goldsack,S.J. and Kramer,J. The use of invariants in the application-oriented specification of real time systems, Proc. of IFAC/IFIP Workshop on Real Time Systems, April 1980. Also in Automatica (18,2), 1982.Google Scholar
  12. [MONIT]
    Hoare,C.A.R. Monitors: an operating system structuring concept, Comm.ACM (17,10), Oct.1974.Google Scholar
  13. [SM]1.
    Kramer,J. and Cunningham,R.J. Towards a notation for the functional design of distributed processing systems, Proc. of Int. Conf. on Parallel Processing, IEEE, Aug. 1978.Google Scholar
  14. 2.
    Kramer,J. The design of distributed processing systems using stable modules, Ph.D. Thesis, CCD, Imperial College, Dec. 1979.Google Scholar
  15. 3.
    Cunningham,R.J. and Kramer,J. The design of stable distributed processing systems, Research Report 80/10, DoC, Imperial College, Nov.1980.(Submitted for publication)Google Scholar
  16. [SR]
    Andrews,G.R. Synchronizing resources, ACM Transactions on Programming Languages and Systems (3,4), Oct. 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • J. Kramer
    • 1
  1. 1.Department of ComputingImperial College of Science and TechnologyLondon SW7Great Britain

Personalised recommendations