Abstract
In this paper we propose some extensions necessary to enable the specification and description language Sdl to become a more 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 better 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 better real-time design language, several useful real-time programming concepts are added. 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 rely on a clear and powerful time semantics for Sdl, which extends the current one, and which is based on timed automata with urgencies.
This work is supported by the Interval IST-11557 European project on timed extensions for sdl, msc and ttcn.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Abdulla, A. Bouajjani, and B. Jonsson. On-the-fly Analysis of Systems with Unbounded, Lossy Fifo Channels. In A. Hu and M. Vardi, editors, Proceedings of CAV’98 (Vancouver, Canada), volume 1427 of LNCS, pages 305–318. Springer, June 1998.
B. Algayres, Y. Lejeune, and F. Hugonnet. GOAL: Observing SDL Behaviors with GEODE. In Proceedings of SDL FORUM’95. Elsevier, 1995.
K. Altisen, G. Göβler, and J. Sifakis. A Methodology for the Construction of Scheduled Systems. In Mathai Joseph, editor, Proceedings of FTRTFT 2000, number 1926 in LNCS, pages 106–120. Springer-Verlag, September 2000.
J.M. Alvarez, M. Diaz, L.M. Llopis, E. Pimentel, and J.M. Troya. Integrating Schedulability Analysis and SDL in an Object-Oriented Methodology for Embedded Real-Time Systems. In R. Dsoulli, G.v. Bochmann, and Y. Lahav, editors, Proceedings of SDL-FORUM’99 (Montreal, Canada), pages 241–256. Elsevier, June 1999.
S. Bornot, J. Sifakis, and S. Tripakis. Modeling Urgency in Timed Systems. In International Symposium: Compositionality-The Significant Difference (Holstein, Germany), volume 1536 of LNCS. Springer, September 1997.
M. Bozga, J.Cl. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, and L. Mounier. IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. In J.M. Wing, J. Woodcock, and J. Davies, editors, Proceedings of FM’99 (Toulouse, France), volume 1708 of LNCS, pages 307–327. Springer, September 1999.
M. Bozga, S. Graf, A. Kerbrat, L. Mounier, I. Ober, and D. Vincent. SDL for Real-Time: What is Missing? In Proceedings of SAM’00: 2nd Workshop on SDL and MSC (Grenoble, France), pages 108–122. IMAG, June 2000.
M. Diefenbruch, E. Heck, J. Hintelmann, and B. Müller-Clostermann. Performance evaluation of SDL systems adjunct by queueing models. In R. Braek and A. Sarma, editors, Proceedings of SDL Formu’95. Elsevier Science B.V., 1995.
Interval Consortium. Requirement Analysis Report. Technical Report D11, Interval Deliverable, October 2000.
ITU-T. Recommendation Z.100. Specification and Description Language (SDL). Technical Report Z-100, International Telecommunication Union-Standardization Sector, Genève, November 1999.
S. Leue. Specifying Real-Time Requirements for SDL Specifications-A Temporal Logic-Based Approach. In Proceedings of the Fifteenth International Symposium on Protocol Specification, Testing, and Verification PSTV’95. Chapmann & Hall, 1995.
M. Malek. PerfSDL: Interface to Protocol Performance Analysis by means of Simulation. In R. Dsoulli, G.v. Bochmann,, and Y. Lahav, editors, Proceedings of SDL-FORUM’99 (Montreal, Canada), pages 441–455, 1999.
A. Mitschele-Thiel and B. Müller-Clostermann. Performance Engineering of SDL/MSC Systems. In A. Mitschele-Thiel, B. Müller-Clostermann, and R. Reed, editors, Workshop on Performance and Time in SDL and MSC (Erlangen, Germany), February 1998.
I. Ober, B. Coulette, and A. Kerbrat. Timed SDL Simulation and Verification-Extending SDL with Timed Automata Concepts. Technical report, Telelogic Technologies Toulouse, 2000.
J.-L. Roux. SDL Performance Analysis with ObjectGeode. In A. Mitschele-Thiel, B. Müller-Clostermann, and R. Reed, editors, Workshop on Performance and Time in SDL and MSC (Erlangen, Germany), February 1998.
B. Selic and J. Rumbaugh. Using Uml for Modeling Complex Real-Time Systems. Whitepaper, Rational Software Corp., March 1998.
T. Speakman, D. Farinacci, S. Lin, and A. Tweely. PGM Reliable Transport Protocol Specification. Internet draft, IETF, 1999.
B. Whetten, M. Basavaiah, S. Paul, T. Montgomery, N. Rastogi, J. Conlan, and T. Yeh. The Reliable Multicast Transport Protocol, version 2 (RMTP-II). Internet draft, IETF, 1998.
S. Yovine. KRONOS: A Verification Tool for Real-Time Systems. Software Tools for Technology Transfer, 1(1+2):123–133, December 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bozga, M., Graf, S., Mounier, L., Ober, I., Roux, JL., Vincent, D. (2001). Timed Extensions for SDL. In: Reed, R., Reed, J. (eds) SDL 2001: Meeting UML. SDL 2001. Lecture Notes in Computer Science, vol 2078. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48213-X_14
Download citation
DOI: https://doi.org/10.1007/3-540-48213-X_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42281-5
Online ISBN: 978-3-540-48213-0
eBook Packages: Springer Book Archive