Semantics of a real-time language

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.<>