Performance analysis of communication systems formally specified in SDL

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Performance analysis of communication systems formally specified in SDL

Full text

Pdf (2.27 MB)

Source

Workshop on Software and Performance archive
Proceedings of the 1st international workshop on Software and performance table of contents

Santa Fe, New Mexico, United States

Pages: 49 - 62

Year of Publication: 1998

ISBN:1-58113-060-0

Author

Martin Steppler

Aachen University of Technology, Chair for Communication Networks, Prof. Dr.-Ing. Bernhard Walke, Kopernikusstr. 16, 52074 Aachen, Germany

Sponsors

SIGMETRICS: ACM Special Interest Group on Measurement and Evaluation
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 31, Citation Count: 1

Additional Information:

references cited by index terms

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/287318.287329 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Martin F. Arlitt, CareT L. Williamson. A Synthetic Workload Model for Internet Mosaic Traffic. In Proceedings of the 1995 Summer Computer Simulation Conference, pp. 24- 26, Ottawa, Canada, July 1995.
	2	Tim Bemers-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 http://ds'internic'net/rfc/rfc 1954.txt.
	3	Gregorv. Bochmann, A. Petrenko, O. Bellal, 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 (2nd ed.), Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1993
	5	Grady Booth, 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 http ://www.rational.com.
	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, Motorola Microprocessor Family: 68000, 68008, 68010, 68020, 68030, and 68040, Programming and Interfacing with Applications, Saunders College Publishing, Philadelphia, PA, 1992
	8	Aria 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 http://www.elsevier.nl.
	9	Derek Coleman , Patrick Arnold , Stephanie Bodoff , Chris Dollin , Helena Gilchrist , Fiona Hayes , Paul Jeremaes, Object-oriented development: the fusion method, Prentice-Hall, Inc., Upper Saddle River, NJ, 1994
	10	Anders Ek. Telelogic Tau 3.2 Reference Manual--- The SOMT Method. Telelogic, Malm6, Sweden, March 1997. This document is available via http://www.telelogic.se.
	11	Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt. Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications. In Cavalli, Sarma {8}, pp. 245-259.
	12	Jan Ellsberger, Dieter Hogrefe, Amardeo Sarma. SDL- Formal Ob.ject-oriented Languagejor Communicating Syxterns. Prentice Hail, 1997. ISBN 0--13-621384-7. This book can be ordered via http://www.prenhall.com.
	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 extensionsJbrperformance simulation, in Mitschele-Thiel et al. {28}, pp. 41-50.
	15	David Harel , Eran Gery, Executable Object Modeling with Statecharts, Computer, v.30 n.7, p.31-42, July 1997 [doi>10.1109/2.596624]
	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 und SDL- Standard--Spez(fikationssprachen fiir verteilte Systeme. Springer Verlag, 1989. ISBN 3-540-50477-X. This book can be ordered via http://www, springe r. de.
	18	Gerard J. Holzmann, Design and validation of computer protocols, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	19	ISO/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. Abstract Syntax Notation One (ASN.1). ITU-T Recommendation X.680-X.699, International Telecommunication Union, July 1994. This document can be ordered via http://www.itu.ch.
	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. 1 (SDL/ASN.1). ITU-T Recommendation Z. 105, International Telecommunication Union, March 1995. This document can be ordered via http://www.itu.ch.
	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, Object-oriented software engineering, ACM Press, New York, NY, 1991
	25	Brian W. Kernighan , Dennis M. Ritchie, The C programming language, Prentice Hall Press, Upper Saddle River, NJ, 1989
	26	C. Loftus, E. Sheratt, E. Inoc6ncio, P. Vianna. The Unification of OMT, SDL and IDLjor Service Creation. In Cavalli, Sarma {8}, pp. 443-458.
	27	Joan L. Mitchell , William B. Pennebaker , Chad E. Fogg , Didier J. Legall, MPEG Video Compression Standard, Chapman & Hall, Ltd., London, UK, 1996
	28	Andreas Mitschele-Thiel, Bruno Mfiller-Clostermann, Rick Reed, Hrsg. Proceedings of the Workshop on Performance and Time in SDL and MSC '98. Department of Computer Science VII of the University of Erlangen-Nuremberg, 17th-19th February 1998. See also http ://www7.informatik.uni-erlangen.de.
	29	Bruno Mt#ller-Clostermann, Marc Diefenbruch. Queueing SDL: A language for the fimctional and quantitative specification of distributed systems. In Mitschele-Yhiel et al. {28}, pp. 17-35.
	30	Anders Olsen, Systems Engineering Using SDL-92, Elsevier Science Inc., New York, NY, 1994
	31	Vern Paxson, Empirically derived analytic models of wide-area TCP connections, IEEE/ACM Transactions on Networking (TON), v.2 n.4, p.316-336, Aug. 1994 [doi>10.1109/90.330413]
	32	Jonathan B. Postel. Simple Mail Transfer Protocol. Network Working Group, Request For Comments (RFC) 821, August 1982. This document is also available via http ://ds.internic.net/rfc/rfc821.txt.
	33	Jonathan B. Postel, J. Reynolds. File Tran,#{br Protocol (FTP). Network Working Group, Request For Comments (RFC) 959, October 1985. This document is also available via http://ds.internic.net/rfc/rfc959.txt.
	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 http ://ds.intemic. net/rfc/rfc 854. txt.
	35	Oliver Rose. Simple and E#cient Models for Variable Bit Rate MPEG Video Traffic. Technical Report 120, Institute of Computer Science, University of W#rzburg, July 1995. This document is also available via http://wwwinfo 3. i n fo rmatik, u ni-wuerzburg.de/T R/tr 120.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, Inc., Upper Saddle River, NJ, 1991
	38	Friedrich Schreiber. Effective Control of Simulation Runs by a New Evaluation Algorithm for Correlated Random Sequences. International Journal of Electronics and Communications (AEIJ), Vol. 42, No. 6, pp. 347-354, November 1988. ISSN 0001-1096.
	39	Jon Siegel , Dan Frantz , Hal Mirsky , Raghu Hudli , Peter de Jong , Alan Klein , Brent Wilkins , Alex Thomas , Wilf Coles , Sean Baker , Maurice Balick, COBRA fundamentals and programming, John Wiley & Sons, Inc., New York, NY, 1996
	40	Bjarne Stroustrup, The C++ Programming Language, Third Edition, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1997