论文信息 - RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol

RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol

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.

Benoit Parreaux | Daniel Vincent | Gérard Babonneau

[1] Peter Buchholz,et al. Qualitative und Quantitative Analysis of Timed SDL Specifications , 1993, Kommunikation in Verteilten Systemen.

[2] B. Algayres,et al. GOAL: Observing SDL behaviors with GEODE , 1995 .

[3] Andreas Mitschele-Thiel,et al. Performance engineering of SDL/MSC systems , 1999, Comput. Networks.

[4] José M. Troya,et al. Integrating Schedulability Analysis and Design Techniques in SDL , 2004, Real-Time Systems.

[5] José M. Troya,et al. Deriving hard real-time embedded systems implementations directly from SDL specifications , 2001, CODES '01.

[6] Stefan Leue,et al. Specifying real-time requirements for SDL specifications - a temporal logic-based approach , 1995, PSTV.

[7] Joseph Sifakis,et al. Modeling Urgency in Timed Systems , 1997, COMPOS.

[8] Bruno Müller-Clostermann,et al. Performance Evaluation of SDL Systems Adjunct by Queueing Models , 1995 .

[9] Mazen Malek,et al. PerfSDL: Interface to protocol performance analysis by means of simulation , 1999, SDL Forum.

[10] Frank Slomka,et al. Hardware/Software Codesign and Rapid Prototyping of Embedded Systems , 2000, IEEE Des. Test Comput..

[11] Iulian Ober,et al. Timed Extensions for SDL , 2001, SDL Forum.

[12] Iulian Sorin Ober. Spécification et validation des systèmes temporisés avec des langages de description formelle : étude et mise en oeuvre , 2001 .