Abstract
The standardised languages SDL (Specification and Description Language) and MSC (Message Sequence Chart) are very popular in the field of telecommunications, since they support all essential steps in the protocol life cycle. With SDL the protocol behaviour is completely specified by communicating extended finite-state machines. The formal basis of SDL enables the use of code generation tool chains, which allows an automated implementation of the specification. With MSC the communication between processes is described by example.
Since telecommunication systems are real time systems, functional and performance aspects must be closely integrated into the development process. Our approach for an early performance prediction is based on scenarios given in MSCs extended with quantitative data. The scenarios are automatically transformed to an SDL specification which yields a prototype implementation via a code generation tool chain. The resulting implementation is executed on the target machines. By monitoring this system, various performance characteristics can be gained, such as processor load, channel utilisation or response time. This allows an early performance prediction for the given scenarios in a system environment which integrates the target hardware and system software in a realistic way.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Abdalla, F. Khendek, and G. Butler. New results on deriving SDL specifications from MSCs. In Dssouli et al. [10], pages 51–66.
F. Andolfi, F. Aquilani, S. Balsamo, and P. Inverardi. Deriving Performance Models of Software Architectures from Message Sequence Cahrts. In Woodside et al. [31], pages 47–57.
L. Braga, R. Manione, and P. Renditore. A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams. In Gotzhein and Bredereke [15], pages 245–260.
O. Bringmann, W. Rosenstiel, A. Muth, G. Färber, F. Slomka, and R. Hofmann. Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping. In 10th IEEE International Workshop on Rapid System Prototyping, Clearwater, USA, June 1999.
M. Bütow, M. Mestern, C. Schapiro, and P.S. Kritzinger. Performance Modelling with the Formal Specification Language SDL. In Gotzhein and Bredereke [15], pages 213–228.
CCITT. Recommendation Z.100: Specification and Description Language SDL, Blue Book. ITU, Geneva, 1992.
V. Cortelessa and R. Mirandola. Deriving a Queueing Network based Performance Model from UML Diagrams. In Woodside et al. [31], pages 58–70.
M. Diefenbruch, J. Hintelmann, and B. Müller-Clostermann. The QUEST-Approach for the Performance Evaluation of SDL-Systems. In Gotzhein and Bredereke [15], pages 229–244.
M. Dörfel, F. Slomka, and R. Hofmann. A Scalable Hardware Library for the Rapid Prototyping of SDL Specifications. In 10th IEEE International Workshop on Rapid System Prototyping, Clearwater, USA, June 1999.
R. Dssouli, G. v. Bochmann, and Y. Lahav, editors. SDL’99: The Next Millennium, Montreal, Canada, June 1999. Ninth SDL Forum, Elsevier Science B.V.
W. Dulz. A Framework for the Performance Evaluation of SDL/MSC-specified Systems. In A. Javor, A. Lehmann, and I. Molnar, editors, ESM96 European Simulation Multiconference, pages 889–893, Budapest, Hungary, June 1996. Society for Computer Simulation International.
W. Dulz, S. Gruhl, L. Kerber, and M. Söllner. Early Performance Prediction of SDL/MSC-specified Systems by Automated Synthetic Code Generation. In Dssouli et al. [10], pages 457–471.
H. El-Sayed, D. Cameron, and M. Woodside. Automated performance modeling from scenarios and sdl designs of distributed systems. In Proc. of Int. Symp. on Software Engineering for Parallel and Distributed Systems, pages 127–135, Kyoto, Japan, April 1998. IEEE Press.
N. Faltin, L. Lambert, A. Mitschele-Thiel, and F. Slomka. An Annotational Extension of Message Sequence Charts to Support Performance Engineering. In A. Cavalli and A. Sarma, editors, SDL’97: Time for Testing-SDL, MSC and Trends, pages 307–322, Evry, France, September 1997. Eighth SDL Forum, Elsevier.
R. Gotzhein and J. Bredereke, editors. Formal Description Techniques IX. IFIP, Chapman & Hall, Oktober 1996.
S. Gruhl. Automatic Generation of Synthetic Load from Formal Use Cases for Performance Evaluation. Diplomarbeit, IMMD7, Universität Erlangen-Nürnberg, November 1998.
Stefan Gruhl, Micheal Söllner, and Lennard Kerber. Automated Performance Prototyping for SDL/MSC-specified Systems. In International Conference on Computer Communication (ICCC), Tokyo, Japan, September 1999.
U. Herzog. Performance Evaluation and Formal Description. In V.A. Monaco and R. Negrini, editors, Advanced Computer Technology, Reliable Systems and Applications, Proceedings, pages 750–756, Bologna, Italy, May 1991. IEEE CompEuro, IEEE Computer Society Press. Invited paper.
ITU-T. ITU-T Recommendation Z.120: Message Sequence Charts (MSC). ITU, Geneva, 1996.
ITU-T. ITU-T Recommendation Z.120: Message Sequence Charts (MSC). ITU, Geneva, 2001. To be published.
L. Lambert. PMSC for Performance Evaluation. In 1. Workshop on Performance and Time in SDL/MSC, Erlangen, Germany, 1998.
N. Mansurov and D. Zhukov. Automatic synthesis of SDL models in use case methodology. In Dssouli et al. [10], pages 225–240.
J. Martins and J. Hubaux. A New Methodology for Performance Evaluation Based on the Formal Technique SDL. In Proc. Design and Analysis of Real-Time Systems (DARTS ’95), Bruessels, November 1995.
A. Mitschele-Thiel and B. Müller-Clostermann. Performance Engineering of SDL/MSC Systems. Journal on Computer Networks and ISDN Systems, 31(17):1801–1815, June 1999.
A. Muscholl and D. Peled. Analyzing Message Sequence Charts. In S. Graf, C. Jard, and Y. Lahav, editors, 2nd Workshop on SDL and MSC, pages 3–17, Col de Porte, Grenoble, France, June 2000. SDL Forum Society.
Peter Langendörfer and Hartmut König. COCOS-A Configurable SDL Compiler for Generating Efficient Protocol Implementations. In Proc. of 9th SDL Forum, Montreal, Canada, June 1999. Elsevier.
C. Schaffer. MSC/RT: A Real-Time Extension to Message Sequence Charts (MSCs). Technical Report TR140-96, Johannes Kepler Universität Linz, Institut für Systemwissenschaften, 1996.
I. Schieferdecker, A. Rennoch, and O. Mertens. Timed MSCs-an Extension to MSC’96. In A. Wolisz, I. Schieferdecker, and A. Rennoch, editors, Formale Beschreibungstechniken für verteilte Systeme, GMD-Studie Nr. 315, pages 165–174, Berlin, Germany, June 1997. GI/ITG, GMD-Forschungszentrum.
M. Steppler. Performance analysis of communication systems formally specified in sdl. In Proceedings of The First International Workshop on Simulation and Performance ’98 (WOSP ’98), pages 49–62, Santa Fe, New Mexico, USA, 12th–16th October 1998.
Telelogic, Malmö, Sweden. Telelogic Tau 4.1, SDL Suite Getting Started, September 2000.
M. Woodside, D. Menasce, and H. Gomaa, editors. Second International Workshop on Software and Performance WOSP2000, Ottawa, Canada, September 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kerber, L. (2001). Scenario-Based Performance Evaluation of SDL/MSC-Specified Systems. In: Dumke, R., Rautenstrauch, C., Scholz, A., Schmietendorf, A. (eds) Performance Engineering. WOSP GWPESD 2000 2000. Lecture Notes in Computer Science, vol 2047. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45156-0_12
Download citation
DOI: https://doi.org/10.1007/3-540-45156-0_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42145-0
Online ISBN: 978-3-540-45156-3
eBook Packages: Springer Book Archive