Protection in languages for real time programming

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.