SDL for Real-Time: What Is Missing?

Marius Bozga (1) , Susanne Graf (1) , Laurent Mounier (1) , Alain Kerbrat (2) , Iulian Ober (2) , Daniel Vincent (3)

1 VERIMAG - IMAG - VERIMAG
2 Telelogic
3 FT R&D - France Télécom Recherche & Développement

In this paper we review the needs of a real-time systems developer that are not covered, for various reasons, by SDL. The issues that we examine are heterogeneous, ranging from pure programming issues, like the difficulty to specify real timeout emergency procedures in SDL, or the difficulty to program atomic transactions, to high-level modeling issues, like the difficulty to model time non-deterministic system components, or the impossibility to use the standard formal semantics of SDL in simulation and verification. For most issues we strain to give solutions, although sometimes this only means that we favor one alternative among a set of incompatible, equally justified choices.

Keywords: SDL; semantics; timing constraints

Domains: Embedded Systems

Marius Bozga, Susanne Graf, Laurent Mounier, Alain Kerbrat, Iulian Ober, et al.. SDL for Real-Time: What Is Missing?. 2nd Workshop of the SDL Forum Society on SDL and MSC SAM2000, Jun 2000, Grenoble, France. pp.108-122. ⟨hal-00374117⟩