A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is
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 adoi:10.1109/real.1988.51106 dblp:conf/rtss/BerzinsL88 fatcat:lsbyogzmiva77nx2xninnl3a4m