Protection in languages for real time programming

  • P. Ancilotti
  • M. Boari
  • N. Lijtmaer
Analysis And Design Tools
Part of the Lecture Notes in Computer Science book series (LNCS, volume 65)


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.


Resource Type Domain Switching Assignment Rule Allocation Region Access Path 


  1. [Anc 77a]
    Ancilotti,P., Boari,M., Lijtmaer,N. — Dynamic resource management in a language for real time programming — AICA 77 Pisa, Italy, October 1977.Google Scholar
  2. [Anc 77b]
    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.Google Scholar
  3. [Bri 73]
    Brinch Hansen,P. — Operating System Principles — Prentice Hall, 1973.Google Scholar
  4. [Bri 75]
    Brinch Hansen,P. — The programming language Concurrent Pascal — IEEE Transac. on Software Engineering, Vol.SE-1, n. 2, June 1975.Google Scholar
  5. [Hoa 74]
    Hoare,C.A.R. — Monitors: an operating system structuring concept — Comm. ACM n. 10, October 1974.Google Scholar
  6. [Jon 73]
    Jones,A.K. — Protection in programmed systems — Dept. of Computer Science, Carnegie-Mellon Univ., Pittsburgh — June 73.Google Scholar
  7. [Jon 76]
    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.Google Scholar
  8. [Lam 71]
    Lampson,B.W. — Protection — Proc.Fifth Annual Princeton Conf. on Information Sciences and Systems, 1971.Google Scholar
  9. [Lin 76]
    Linden,T.A. — Operating System structures to support security and reliable software — ACM Computing Surveys, Dec. 76.Google Scholar
  10. [Lis 75]
    Liskov,B., Zilles,S. — Specifications techniques for data abstractions — IEEE Trans. on Software Engineering, vol. 1, n. 1, March 1975.Google Scholar
  11. [Sil 77]
    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.Google Scholar
  12. [Wir 77]
    Wirth,N. — Modula: a Language for modular multiprogramming — Software-Practice and Experience, 1, 1977.Google Scholar
  13. [Wul 74]
    Wulf,W.A. — Toward a language to support structured programs — Tech. Report Carnegie-Mellon Univ., Pittsurgh, Pa. April 1974.Google Scholar
  14. [Wul 76]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • P. Ancilotti
    • 1
  • M. Boari
    • 2
  • N. Lijtmaer
    • 3
  1. 1.Istituto di Elaborazione della Informazione,CNRPisaItaly
  2. 2.Istituto di Automatica, Facoltà di IngegneriaBolognaItaly
  3. 3.Istituto di Elaborazione della Informazione,CNRPisaItaly

Personalised recommendations