Performance engineering of SDL/MSC systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
Deriving hard real-time embedded systems implementations directly from SDL specifications
Proceedings of the ninth international symposium on Hardware/software codesign
Hardware/Software Codesign and Rapid Prototyping of Embedded Systems
IEEE Design & Test
Integrating Schedulability Analysis and Design Techniques in SDL
Real-Time Systems
Specifying real-time requirements for SDL specifications - a temporal logic-based approach
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Hi-index | 0.00 |
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.