Performance analysis of communication systems formally specified in SDL

Proceedings of the 1st International Workshop on Software and Performance, WOSP 1998

Volumn , Issue , 1998, Pages 49-62

  Steppler, Martin ^a   Walke, Bernhard ^b  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b NONE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; REAL TIME SYSTEMS; SOFTWARE DESIGN; SOFTWARE ENGINEERING;

NON-FUNCTIONAL; PERFORMANCE ANALYSIS; PERFORMANCE EVALUATION TOOLS; PHYSICAL CHANNELS; QUANTITATIVE DESIGN; REAL TIME; TRANSMISSION LINK;

FORMAL METHODS;

EID: 84949041242     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/287318.287328     Document Type: Conference Paper

References (40)

1. Martin F. Arlitt, Carey L. Williamson. A Synthetic Workload Model for Internet Mosaic Traffic. In Proceedings of the 1995 Summer Computer Simulation Conference, -, 2426, Ottawa, Canada, July 1995.
2. Tim Berners-Lee, R. Fielding, H. Frystyk. Hypertext Transfer Protocol (HTTP) 1.0. Network Working Group, Request For Comments (RFC) 1954, May 1996. This document is also available via .
3. Gregor v. Bochmann, A. Petrenko, O. Belial, S. Maguiraga. Automating the process of test derivation from SDL specifications. In Cavalli, Sarma [8], pp. 261-276.
4. Grady Booch. Object-oriented analysis and design with applications. The Benjamin/Cummings Publishing Company, Inc., 2nd edition, 1994. ISBN 0-8053-5340-2. This book can be ordered via .
5. Grady Booch, Ivar Jacobson, James Rumbaugh. The Unified Modeling Language (UML) for Object-Oriented Development. UML Document Set 1.1, Rational Software Corporation, September 1997. This document is available via .
6. Paul T. Brady. A Model for Generating On-Off Speech Patterns in Two-Way Conversation. The Bell System Technical Journal, Vol. 48, No. 9, pp. 2445-2472, September 1969.
7. Barry B. Brey. The Motorola Microprocessor Family: 68000, 68008, 68010, 68020, 68030, and 68040: Programming and Interfacing with Applications. Series in Electronics Technology. Saunders College Publishing, 1992. ISBN 0-03-026423-5. This book can be ordered via .
8. Ana Cavalli, Amardeo Sarma, Hrsg. Proceedings of the 8th SDL Forum: SDL '97 - Time for Testing- SDL, MSC and Trends, Evry, France, Elsevier Science Publishers, 23rd- 26th September 1997. ISBN 0-444-82816-8. These proceedings can be ordered via .
9. Derek Coleman, Patrick Arnold, Stephanie Bodoff, Chris Dollin, Helena Gilchrist. Object-Oriented Development: The Fusion Method. Prentice-Hall, 1994. ISBN 0-13- 338823-9. This book can be ordered via hall.com .
10. Anders Ek. Telelogic Tau 3.2 Reference Manual- The SOMT Method. Telelogic, Malmo, Sweden, March 1997. This document is available via .
11. Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch. Michael Schmitt. Towards the Industrial Use of Validation Techniques and Automatic Test Gen- eration Methods for SDL Specifications. In Cavalli, Sarma [8], pp. 245-259.
12. Jan Ellsberger, Dieter Hogrefe, Amardeo Sarma. SDL - Formal Object-oriented Language for Communicating Systems. Prentice Hall, 1997. ISBN 0-13-621384-7. This book can be ordered via .
13. Commission of the European Communities. Urban transmission loss models for mobile radio in the 900 and 1, 800MHz bands. European Cooperation in the Field of Scientific and Technical Research, Vol. COST 231 TD (91) 73, September 1991.
14. Rainer Gerlich. EaSySim II SDL extensionsfor performance simulation. In Mitschele-Thiel et al., pp. 41-50.
15. David Harel, Eran Gery. Executable Object Modeling with Statecharts. IEEE Computer, Vol. 30, No. 7, pp. 31-42, July 1997. See also .
16. M. Hata. Empirical Formula for Propagation Loss in Land Mobile Radio Services. IEEE Transactions on Vehicular Technology, Vol. VT-29, pp. 317-325, August 1980.
17. Dieter Hogrefe. Estelle, LOTOS undSDL - Standard-Spe-zifikationssprachen fur verteilte Systeme. Springer Verlag, 1989. ISBN 3-540-50477-X. This book can be ordered via .
18. Gerard Holzmann. Design and validation of computer protocols. Prentice-Hall, 1991. ISBN 0-13-539925-4. This book can be ordered via .
19. 1SO/IEC. Tree and Tabular Combined Notation (TTCN). ISO Standard 9646-3, International Organization for Standardization and International Electrotechnical Commission, 1992. This standard can be ordered via .http://www.iso.ch
20. Telecommunication Standardization Sector of ITU. Ab- struct Syntax Notation One (ASN.l). ITU-T Recom-mendation X.680-X.699, International Telecommunication Union, July 1994. This document can be ordered via .
21. Telecommunication Standardization Sector of ITU. Message Sequence Chart (MSC). ITU-T Recommendation Z.120, International Telecommunication Union, March 1993. This document can be ordered via http://www.itu.ch.
22. Telecommunication Standardization Sector of ITU. SDL Combined with ASN.l (SDL/ASN.l). ITU-T Recommenda- tion Z.105, International Telecommunication Union, March 1995. This documentcan be ordered via .
23. Telecommunication Standardization Sector of ITU. Specification and Description Language (SDL). ITU-T Recommendation Z. 100, International Telecommunication Union, March 1993. This document can be ordered via http://www.itu.ch.
24. Ivar Jacobson, Magnus Christerson, Patrik Jonsson, Gun-nar Overgaard. Object-Oriented Software Engineering - A Use Case Driven Approach. Addison-Wesley, 1992. ISBN 0-201-54435-0. This book can be ordered via .
25. Brian Kernighan, Dennis Ritchie. C Programming Language. Prentice-Hall, 1989. ISBN 0-13-110362-8. This book can be ordered via .
26. C. Loftus, E. Sheratt, E. Inocencio, P. Vianna. The Unification of OMT, SDL and IDL for Service Creation. In Cavalli, Sarma [8], pp. 443-158.
27. Joan L. Mitchell, William B. Pennebaker, Chad E. Fogg, Didier J. LeGall, Hrsg. MPEG Video Compression Standard. Digital Multimedia Standards Series. Chapman and Hall, 1997. ISBN 0-201-54435-0. This book can be ordered via .
28. Andreas Mitschele-Thiel, Bruno Muller-Clostermann, Rick Reed, Hrsg. Proceedings of the Workshop on Per-formance and Time in SDL and MSC '98. Department of Computer Science VII of the University of Erlangen-Nuremberg, 17th-19th February 1998. See also .
29. Bruno Muller-Clostermann, Marc Diefenbruch. Queueing SDL: A language for the functional and quantitative specification of distributed systems. In Mitschele-Thiel et al. [28], pp. 17-35.
30. Anders Olsen, Ove Faergemand, Birger Moller-Pedersen, Rick Reed, J.R.W. Smith. Systems Engineering Using SDL- 92. Elsevier Science Publishers, 1994. ISBN 0-444-898727. This book can be ordered via .
31. Vern Paxson. Empirically-Derived Analytic Models of Wide-Area TCP Connections. IEEE/ACM Trans-actions on Networking, Vol. 2, No. 4, pp. 316-336, August 1994. This document is also available via ffp://ftp.ee.lbl.gov/papers/WAN-TCP-models.ps.Z .
32. Jonathan B. Postel. Simple Mail Transfer Protocol. Network Working Group, Request For Comments (RFC) 821, August 1982. This document is also available via .
33. Jonathan B. Postel, J. Reynolds. File Transfer Protocol (FTP). Network Working Group, Request For Comments (RFC) 959, October 1985. This document is also available via .
34. Jonathan B. Postel, J. Reynolds. Telnet Protocol Specification. Network Working Group, Request For Comments (RFC) 854, May 1983. This document is also available via .
35. Oliver Rose. Simple and Efficient Models for Variable Bit Rate MPEG Video Traffic. Technical Report 120, Institute of Computer Science, University of Wurzburg, July 1995. This document is also available via -info3.informatik.uni-wuerzburg.de/TR/trl20.ps.gz .
36. Jean-Luc Roux. SDL performance analysis with Object-GEODE. In Mitschele-Thiel et al. [28], pp. 36-40.
37. James Rumbaugh, Michael Blaha, William Premerlani, Frederick Eddy, William Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, 1991. ISBN 0-13- 629841-9. This book can be ordered via hall.com .
38. Friedrich Schreiber. Effective Control of Simulation Runs by a New Evaluation Algorithm for Correlated Random Sequences. International Journal of Electronics and Communications (AEU), Vol. 42, No. 6, pp. 347-354, November 1988. ISSN 0001-1096.
39. Jon Siegel. CORBA Fundamentals and Programming. John Wiley and Sons, 1996. ISBN 0-471-12148-7. This book can be ordered via .
40. Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley, 3rd edition, 1997. ISBN 0-201-889544. This book can be ordered via .