Abstract
The European IST project Interval (1999–2002) focused on coherent timed extensions for the ITU-T modeling languages SDL, MSC, TTCN. In the case of SDL, a set of extensions were defined and proposed to ITU-T in order to be a basis for a new recommendation. This paper gives a short overview of these extensions, and describes which enhancements were achieved on an SDL prototype tool in order to make it possible to use these extensions. For a more detailed description of these extensions see [1]. Finally we present an industrial-size experiment on an IETF protocol with the purpose of validating three things: accuracy of SDL time extensions, usefulness of the enhanced tool, and correctness of the protocol itself.
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
M. Bozga, S. Graf, L. Mounier, I. Ober, J-L. Roux, D. Vincent. Timed Extensions for SDL. Proceedings of SDL Forum 2001, LNCS 2078, June 2001.
ITU-T. Recommendation Z.100 (08/02), Specification and Description Language (SDL). International Telecommunication Union, Geneva.
B. Algayres, Y. Lejeune, F. Hugonnet. GOAL: Observing SDL behaviors with Geode. Proceedings of SDL Forum 95.
F. Bause, P. Buchholz. Qualitative and quantitative analysis of timed SDL specifications
S. Spitz, F. Slomka, M. Dörfel. SDL-an annotated specification language for engineering multimedia communication systems” Workshop on high speed networks, Stuttgart, October 1999
J.-L. Roux. SDL Performance analysis with ObjectGeode, Workshop on performance and time in SDL, 1998
A. Mitschele-Thiel, F. Slomka. A methodology for hardware/software co-design of realtime systems with SDL/MSC. Computer Networks 31, 1999
M. Malek. PerfSDL: Interface to protocol performance analysis by means of simulation. Proceedings of SDL Forum 99
S. Leue. Specifying Real-time requirements for SDL specifications. Proceedings of PSTV’95
M. Dörfel, W. Dulz, R. Hofmann, R. Münzenberger, SDL and non-functional requirement. Internal Report IMMD7 05/01, University of Erlangen-Nuremberg, Germany, August 20, 2001.
I. Ober, B. Coulette, A. Kerbrat. Timed SDL Simulation and specification. Technical report: Telelogic Technologies Toulouse, 2000
J-M Alvarez, M. Diaz, L. Llopis, E. Pimentel, J. M. Troya. Embedded Real-time Systems Development using SDL. IEEE Real-time Symposium, 1999
J-M Alvarez, M. Diaz, L. Llopis, E. Pimentel, J. M. Troya. IntegratingSchedulability Analysis and Design Techniques in SDL. Real Time Systems Journal
J-M. Alvarez, M. Diaz, L. Llopis, E. Pimentel, J.M. Troya. Deriving Hard-Real Time Embedded Systems Implementations Directly from SDL Specifications. CODES’01: 9th International Symposium on Hardware/Software Codesign. 25–27 April
F. Slomka, M. Dörfel, R. Münzenberger, R. Hofmann. Hardware/Software Codesign and Rapid-Prototyping of Embedded Systems. IEEE Design & Test of Computers, Special issue: Design Tools for Embedded Systems, Vol. 17, No. 2, April–June 2000.
M. Bozga, S. Graf, A. Kerbrat, L. Mounier, I. Ober and D. Vincent. SDL for realtime: what is missing?. Proceedings of SDL & MSC Workshop. Grenoble, June 2000.
ObjectGeode 4-1 Reference Manual. Telelogic Technologies Toulouse. See also http://www.telelogic.com/220
I. Ober. Spécification et Validation de Systèmes Temporisés avec des Langages de description formelle: étude et mise en oeuvre. Phd Thesis, (in english), Toulouse, 2001
M. Diefenbruch, E. Heck, J. Hintelmann, B. Müller-Clostermann. Performance evaluation of SDL systems adjunct by queuing models. Proc. of SDL-Forum’ 95, 1995.
IST Project Interval. Final Validation and Improvement Report. June 2002, see http://www-interval.imag.fr/220
ITU-T. Delayed Document Q23/17, Q13/17: Timed extensions for SDL.. February 2002, Geneva meeting.
S. Bornot, J. Sifakis, S. Tripakis. Modeling Urgency in Timed Systems. International Symposium: Compositionality-The Significant Difference, Malente (Holstein, Germany), 1998, LNCS Vol. 1536
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Parreaux, B., Vincent, D., Babonneau, G. (2003). RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol. In: Reed, R., Reed, J. (eds) SDL 2003: System Design. SDL 2003. Lecture Notes in Computer Science, vol 2708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45075-0_13
Download citation
DOI: https://doi.org/10.1007/3-540-45075-0_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40539-9
Online ISBN: 978-3-540-45075-7
eBook Packages: Springer Book Archive