Semantics of a real-time language

V. Berzins, Luqi
Proceedings. Real-Time Systems Symposium  
This paper describes the semaotics of the real-time language PSDL, which was designed for proto ing real-time systems.' We focus on the aspects of the language %ting to hard real-time constraints, scheduling, and functional behavior. The main contributions of the paper are to present the aspects of PSDL that simplify the description of real-time comtraints and to clarify the relationships between periodic and data driven operators and the interao tions between timing and control c o w in a
more » ... rol c o w in a language that combines these featws.
doi:10.1109/real.1988.51106 dblp:conf/rtss/BerzinsL88 fatcat:lsbyogzmiva77nx2xninnl3a4m