Title :
Semantics of a real-time language
Author :
Berzins, Valdis ; Luqi
Author_Institution :
Dept. of Comput. Sci., US Naval Postgraduate Sch., Monterey, CA, USA
Abstract :
The authors describe the semantics of the real-time language PSDL, which was designed for prototyping real-time systems. They focus on the aspects of the language relating to hard real-time constraints, scheduling, and functional behavior. They present the aspects of PSDL that simplify the description of real-time constraints and clarify the relationships between periodic and data-driven operators and the interactions between timing and control constraints in a language that combines these features
Keywords :
programming languages; real-time systems; PSDL; data-driven operators; functional behavior; periodic operators; prototyping real-time systems; real-time language; scheduling; semantics; Computer science; Logic design; Marine vehicles; Processor scheduling; Prototypes; Real time systems; Software prototyping; Software reusability; Software systems; Timing;
Conference_Titel :
Real-Time Systems Symposium, 1988., Proceedings.
Conference_Location :
Huntsville, AL
Print_ISBN :
0-8186-4894-5
DOI :
10.1109/REAL.1988.51106
