SDL '97: Time for Testing (eBook)

Cover 1
Table of Contents 6
Introduction 4
Part I: Applications I 12
Chapter 1. Designing a Multi-User Software Environment for Development and Analysis using a combination of OMT and SDL92 14
Chapter 2. SDL-based Modelling and Design of IN/UMTS Handover Functionality 30
Chapter 3. An SDL-based platform for the simulation of communication networks using dynamic block instantiations 46
Part II: Performance Analysis 62
Chapter 4. SPEET SDL performance evaluation tool 64
Chapter 5. Performance Analysis of TCP's Flow Control Mechanisms using Queueing SDL 80
Chapter 6. Tuning Development of Distributed Real-time Systems with SDL and MSC: Current Experience And Future Issues 96
Part III: Verification and Validation I 112
Chapter 7. Telephone Feature Verification : Translating SDL to TLA+ 114
Chapter 8. Simulation of IP Mobility Support: An Experiment in mobile protocol specification with SDL 130
Chapter 9. Experiences with ISDN Validation Models in SDL and Proposal for new SDL features 146
Chapter 10. Design for testability of communication protocols based on SDL language 162
Part IV: MSC I 176
Chapter 11. The MSC-96 Distillery 178
Chapter 12. Switching Software Test Environment Using MSC 194
Chapter 13. Deriving an SDL Specification with a Given Architecture from a Set of MSCs 208
Chapter 14. MSC'96 and Beyond - a Critical look 224
Part V: SDL and MSC in International Oganizations 240
Chapter 15. SDL and MSC in International Oganizations: ITU-T 242
Part VI: Testing 254
Chapter 16. Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications 256
Chapter 17. Automating the Process of Test Derivation from SDL Specifications 272
Chapter 18. Test generation for the SSCOP-ATM networks protocol 288
Part VII: MSC II 300
Chapter 19. High-level Message Sequence Charts 302
Chapter 20. An Annotational Extension of Message Sequence Charts to Support Performance Engineering 318
Chapter 21. MSCs at Siemens A/S - towards the usage of MSC-96 334
Part VIII: SDL and other languages I 344
Chapter 22. Automated Iteration between OMT* and SDL 346
Chapter 23. Introducing SDL in the development of CORBA-compliant applications 362
Chapter 24. A practical experience on validating GDMO-based Information Models with SDL'88 and SDL'92 378
Part IX: Code generation 392
Chapter 25. Combining SDL and C 394
Chapter 26. Derivation of efficient implementations from SDL Specifications Employing Data Referencing, Integrated Packet Framing and Activity Threads 408
Chapter 27. Industrial strength code generation from SDL 426
Part X: SDL and other languages II 442
Chapter 28. Is Open-EDI a potential area for use of SDL ? 444
Chapter 29. The Unification of OMT, SDL and IDL for Service Creation 454
Chapter 30. Combining Object-Oriented and Real-Time Programming From an OMT and SDL Design 470
Part XI: Verification and Validation II 484
Chapter 31. Interconnecting the ObjectGeode and Caesar-AIdébaran toolsets 486
Chapter 32. Specifying the Steam-Boiler Case Study with SDL 502
Chapter 33. The SDL specification of the Sliding Window Protocol revisited 518
Part XII: Applications II 532
Chapter 34. Configuring Communication Protocols Using SDL Patterns 534
Chapter 35. Code Generation Using GEODE: A CASE Study 550
Author Index 562