Abstract
We present the modelling, implementation, and verification of a software system for the control of an industrial production cell. We use techniques of object-oriented and of parallel programming for both modelling and implementation. The implementation is done in Modula-3. We demonstrate the verification of safety requirements for the production cell.
We discuss how well Modula-3 is suited for developing the control software in this case study. In detail, we analyse the benefits of object-oriented and parallel constructs and how both can be integrated with each other.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
E. W. Dijkstra. A Discipline of Programming. Prentice Hall, 1976.
M. Felger. Spezifikation und Implementierung einer Fertigungszelle mit Modula-3. Studienarbeit, Forschungszentrum Informatik, Karlsruhe (German language), 1994.
S. P. Harbison. Modula-3. Prentice Hall, 1992.
C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
T. Lindner. Task Description. Technical Report, Forschungszentrum Informatik, Karlsruhe, 1993.
G. Nelson (Ed.). Systems Programming with Modula-3. Prentice Hall, 1991.
A. U. Shankar. An Introduction to Assertional Reasoning for Concurrent Systems, in ACM Computing Surveys, Vol. 25, No. 3. ACM Press, September 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Rüping, A., Sekerinski, E. (1995). Modula-3. In: Lewerentz, C., Lindner, T. (eds) Formal Development of Reactive Systems. Lecture Notes in Computer Science, vol 891. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58867-1_64
Download citation
DOI: https://doi.org/10.1007/3-540-58867-1_64
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58867-2
Online ISBN: 978-3-540-49133-0
eBook Packages: Springer Book Archive