Abstract
A protection mechanism which may be embedded in an object oriented language for real time programming permitting definition of abstract data types, is proposed in this paper.
This mechanism provides support for designing highly reliable concurrent programs; in fact it allows the detection at compile time of a large class of time dependent errors. To verify the versatility of the proposed mechanism it is firstly characterized abstractly in terms of a protection model; then some linguistic features enforcing protection are defined.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Ancilotti,P., Boari,M., Lijtmaer,N. — Dynamic resource management in a language for real time programming — AICA 77 Pisa, Italy, October 1977.
Ancilotti,P., Boari,M., Lijtmaer,N. — A mechanism for allocating resources and controlling accesses in languages for real time programming — Internal Report n.B77-23; IEI CNR, Pisa, Italy, December 1977.
Brinch Hansen,P. — Operating System Principles — Prentice Hall, 1973.
Brinch Hansen,P. — The programming language Concurrent Pascal — IEEE Transac. on Software Engineering, Vol.SE-1, n. 2, June 1975.
Hoare,C.A.R. — Monitors: an operating system structuring concept — Comm. ACM n. 10, October 1974.
Jones,A.K. — Protection in programmed systems — Dept. of Computer Science, Carnegie-Mellon Univ., Pittsburgh — June 73.
Jones,A.K., Liskov,B.H. — A language extension for controlling access to shared data — IEEE Transactions on Software Engineering, vol. SE-2, December 1976.
Lampson,B.W. — Protection — Proc.Fifth Annual Princeton Conf. on Information Sciences and Systems, 1971.
Linden,T.A. — Operating System structures to support security and reliable software — ACM Computing Surveys, Dec. 76.
Liskov,B., Zilles,S. — Specifications techniques for data abstractions — IEEE Trans. on Software Engineering, vol. 1, n. 1, March 1975.
Silberschatz,A., Kieburtz,R.B., Bernstein,A. — Extending Concurrent Pascal to allow dynamic resource management. IEEE Transactions on Software Engineering, Vol. SE-3, n.3, May 1977.
Wirth,N. — Modula: a Language for modular multiprogramming — Software-Practice and Experience, 1, 1977.
Wulf,W.A. — Toward a language to support structured programs — Tech. Report Carnegie-Mellon Univ., Pittsurgh, Pa. April 1974.
Wulf,W.A., London,R.L., Shaw,M. — Abstraction and verification in Alphard: introduction to language and methodology — Techn. Report, Carnegie-Mellon Univ., Pittsburgh 1976.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ancilotti, P., Boari, M., Lijtmaer, N. (1978). Protection in languages for real time programming. In: Bracchi, G., Lockemann, P.C. (eds) Information Systems Methodology. ECI 1978. Lecture Notes in Computer Science, vol 65. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08934-9_81
Download citation
DOI: https://doi.org/10.1007/3-540-08934-9_81
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08934-6
Online ISBN: 978-3-540-35731-5
eBook Packages: Springer Book Archive