Semantics of a Real-Time Language

Abstract

This paper describes the semantics of the real-time language PSDL, which was designed for prototyping real-time systems.' We focus on the aspects of the language relating 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 constraints and to clarify the relationships between periodic and data driven operators and the interactions between timing and control constraints in a language that combines these features.