Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Reference manual for the ADA programming language, US Department of Defence, July 1980.
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.
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.
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)
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.
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.
Hoare, C.A.R. Communicating sequential processes, Comm.ACM (21,8), Aug. 1978.
Liskov, B. Primitives for distributed computing, Proc.7th ACM Sigops Symposium on Operating System Principles, Dec. 1979.
Down,P. and Taylor,F. Why distributed computing, NCC Publications, 1977.
Dijkstra,E.W. Guarded commands, nondeterminacy, and the formal derivation of programs, Comm.ACM (18,8), Aug. 1975.
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.
Hoare,C.A.R. Monitors: an operating system structuring concept, Comm.ACM (17,10), Oct.1974.
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.
Kramer,J. The design of distributed processing systems using stable modules, Ph.D. Thesis, CCD, Imperial College, Dec. 1979.
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)
Andrews,G.R. Synchronizing resources, ACM Transactions on Programming Languages and Systems (3,4), Oct. 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kramer, J. (1985). Distributed computer systems: Two views. In: Knuth, E., Neuhold, E.J. (eds) Specification and Design of Software Systems. OS 1982. Lecture Notes in Computer Science, vol 152. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0051561
Download citation
DOI: https://doi.org/10.1007/BFb0051561
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12284-5
Online ISBN: 978-3-540-39605-5
eBook Packages: Springer Book Archive