Expression of Time and Duration Constraints in SDL

Abstract

In this paper we give an overview on a set of time related features, useful in the context of real-time system design and classify them into two categories, those needed for modelling of non functional aspects and analysis, and those needed for functional design. We allow the distinction between functional and non functional timing aspects of a specification. We show how these features are represented at the semantic level with a minimal number of primitives.KeywordsSemantic ModelCommunication DelaySemantic LevelAtomic StepTime ProgressThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.