SDL for Real-Time: What Is Missing?
Marius Dorel Bozga, Susanne Graf, Alain Kerbrat, Daniel Vincent, Laurent Mounier, Iulian Ober · 2000
. In this paper we give an overview on the main weaknesses of SDL for the development of real-time systems, both on the programming and on the specification side. In particular, the SDL semantics proposed in Z.100 asserts that time is totally external to the system specification, and does not allow any control over time progress, which is however essential for verification. To solve this problem, we propose to adopt a semantic framework for SDL based on timed automata with urgencies which is a simple and intuitive underlying model, allowing to express most of the real-time primitives. Finally, we illustrate our proposal by means of a small but realistic example, and we show how it is related to several other proposals. keywords: real-time systems, timed semantics, performance evaluation, semantic profiles, verification 1 Introduction The ITU--T Specification and Description Language (SDL, [1]) is increasingly used in the development of real-time and embedded systems. This k...