Modeling of Real-Time Embedded Systems using SDL

SDL is used increasingly for the development of real-time embedded systems. Because SDL does not have a clear interpretation of time, the associated code generators do not integrate the management of temporal constraints. In this paper, we propose a real-time semantics to SDL for the modeling of real-time embedded systems in order to prepare a real-time implementation.