Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, J.L. Roux, Daniel Vincent. Timed Extensions for SDL. In Proceedings of SDL FORUM'01 (Copenhagen, Denmark), LNCS, Volume 2078, Pages 223-240, June 2001.
Download paper:
Adobe portable document (pdf)
Copyright notice:
In this paper we propose some extensions necessary to enable the specification and description language SDL to become an appropriate formalism for the design of real-time and embedded systems. The extensions we envisage concern both roles of SDL: First, in order to make SDL a real-time specification language, allowing to correctly simulate and verify real-time specifications, we propose a set of annotations to express in a flexible way assumptions and assertions on timing issues such as execution durations, communication delays, or periodicity of external inputs. Second, in order to make SDL a real-time design language, several useful real-time programming concepts are missing. In particular we propose to extend the basic SDL timer mechanism by introducing new primitives such as cyclic timers, interruptive timers, and access to timer value. All these extensions relies on a clear and powerful time semantics for SDL, which extends the current one, and which is based on timed automata with urgencies
[ Modeling and specification languages ]
@InProceedings{Bozga-Graf-Mounier-01a,
Author = {Bozga, Marius and Graf, Susanne and Mounier, Laurent and Ober, Iulian and Roux, J.L. and Vincent, Daniel},
Title = {{T}imed {E}xtensions for {SDL}},
BookTitle = {Proceedings of {SDL} {FORUM}'01 (Copenhagen, Denmark)},
Volume = {2078},
Pages = {223--240},
Series = {LNCS},
Publisher = {Springer-Verlag},
Month = {June},
Year = {2001}
}
Get EndNote Reference (.ref)