Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent. SDL for Real-Time: What is Missing?. In Proceedings of SAM'00: 2nd Workshop on SDL and MSC (Grenoble, France), Pages 108-122, June 2000.
Download paper:
Adobe portable document (pdf)
Copyright notice:
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
[ Modeling and specification languages ]
@InProceedings{Bozga-Graf-Kerbrat-00a,
Author = {Bozga, Marius and Graf, Susanne and Kerbrat, Alain and Mounier, Laurent and Ober, Iulian and Vincent, Daniel},
Title = {{SDL} for {R}eal-{T}ime: {W}hat is {M}issing?},
BookTitle = {Proceedings of SAM'00: 2nd Workshop on {SDL} and {MSC} (Grenoble, France)},
Pages = {108--122},
Publisher = {IMAG},
Month = {June},
Year = {2000}
}
Get EndNote Reference (.ref)