%0 Conference Proceedings
%F Bozga-Graf-Kerbrat-00a
%A Bozga, Marius
%A Graf, Susanne
%A Kerbrat, Alain
%A Mounier, Laurent
%A Ober, Iulian
%A Vincent, Daniel
%T {SDL} for {R}eal-{T}ime: {W}hat is {M}issing?
%B Proceedings of SAM'00: 2nd Workshop on {SDL} and {MSC} (Grenoble, France)
%P 108-122
%I IMAG
%X 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
%U http://www-verimag.imag.fr/PEOPLE/mounier/Papers/Bozga-Graf-Kerbrat-00a.pdf
%8 June
%D 2000
%K Modeling and specification languages