Abstract
A system of distributed processors offers an attractive method for the control of many real-world systems, with the prospect of increased efficiency, throughput and reliability. Modern software engineering analysis methods, design techniques and programming languages should be used in the construction of such systems to control and exploit the parallel nature of the system. Where a robust system is required, particular attention must be paid to the role of interprocess communications, because they provide not only a mechanism for synchronising and co-ordinating the distributed system, but also a mechanism for the propagation of errors. A proper fault tolerant framework must be implemented to restrict such error propagation and to provide proper conversation error-recovery mechanisms.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Daniels, B.K., Reliability Engineering, 4, 1983, 199.
Boehm, B.W., Software Engineering Economics, 1981, Prentice-Hall.
Momen, S.E.M., Holding, D.J., Proc Int Conf on Control and its applications, I.E.E., 1981, 291.
Brinch Hansen, P., Operating System Principles, 1973, Prentice-Hall.
Dijsktra, E.W., Co-operating sequential processes, 1968, in Programming Languages, ed. Genuys, F., Academic Press.
Hoare, C.A.R., Comm ACM, 17, 1974, 549.
Simpson, H.R., MASCOT 3, I.E.E. Coll on MASCOT, 1984.
Hoare, C.A.R., Comm ACM, 21, 1978, 666.
May, D., Sigplan Notices 18, 1983, 67.
Kramer, J., Magee, J., Sloman, M., Proc 2nd Int Conf on Distributed Computer Systems, 1981, 404.
Liskov, B., Proc 7th ACM SIGOPS Symp on Operating System Princi¬ples, 1979, 33.
US Department of Defense. ADA Reference Manual. 1980.
Kramer, J., Magee, J., Sloman, M., Lister, A., I EE Proc Pt E, 130, 1983, 1.
Holding, D.J., Carpenter,G.F., Tyrrell,A.M., Proc 6th IEEE/Eurel Conf on Computers in communications and control, 1984, 235.
Bornat, R., A protocol for generalised occam, Research report 348. Queen Mary College, 1984.
Tyrrell, A.M., Holding, D.J., submitted to I.E.E.E. Trans on Software Engineering, 1986.
Linger, R.C., Mills, H.D., Witt, R.C., Structured programming, theory and practice, Addison Wesley, 1979.
Hoare, C.A.R., Communicating Sequential Processes. Prentice-Hall; 1985.
Anderson, T., Lee, P.A., Fault Tolerance: Principles and Practice, 1981, Prentice Hall.
Randell, B.R., I.E.E.E. Trans on Software Engineering, SE-1, 1975, 220.
Kim, K.J., I.E.E.E. Trans on Software Engineering, SE-8, 1982, 189.
Jackson, P.R., White, B.A., The application of fault tolerant techniques to a real-time system., Safety of Computer Control Systems, Per- gamon, 1983.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Elsevier Applied Science Publishers Ltd
About this chapter
Cite this chapter
Carpenter, G.F., Tyrrell, A.M., Holding, D.J. (1986). Guidelines for the Synthesis of Software for Distributed Processors. In: Daniels, B.K. (eds) Safety and Reliability of Programmable Electronic Systems. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-4317-9_18
Download citation
DOI: https://doi.org/10.1007/978-94-009-4317-9_18
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-8418-5
Online ISBN: 978-94-009-4317-9
eBook Packages: Springer Book Archive