Performance engineering of SDL/MSC systems

The paper addresses issues related to the performance of systems specified with SDL and MSC and describes how performance aspects can be integrated with the SDL/MSC method. We identify the aspects that are relevant to performance evaluation and performance tuning. Afterwards we introduce basic performance modelling techniques and survey approaches that integrate performance evaluation into the context of SDL and MSC.

[1]  Jean-Pierre Hubaux,et al.  Integrating performance evaluation and formal specification , 1996, Proceedings of ICC/SUPERCOMM '96 - International Conference on Communications.

[2]  Christoph Lindemann,et al.  Performance Modelling with Deterministic and Stochastic Petri Nets , 1998, PERV.

[3]  Paul Bratley,et al.  A guide to simulation , 1983 .

[4]  Falko Bause,et al.  SDL and Petri net performance analysis of communicating systems , 1995, PSTV.

[5]  Udo R. Krieger,et al.  Modeling and Analysis of Communication Systems Based on Computational Methods for Markov Chains , 1990, IEEE J. Sel. Areas Commun..

[6]  Andreas Mitschele-Thiel.  Methodology and tools for the development of high performance parallel systems with SDL/MSCs , 1996, Software Engineering for Parallel and Distributed Systems.

[7]  Andreas Mitschele-Thiel,et al.  Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads , 1997, SDL Forum.

[8]  Peter Buchholz,et al.  QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets , 1995, MMB.

[9]  Matthias Lott,et al.  SPEET SDL performance evaluation tool , 1997, SDL Forum.

[10]  Peter Langendörfer,et al.  Design and Optimization of High-Performance Protocols with the DO-IT Toolbox , 1996, FORTE.

[11]  Andreas Mitschele-Thiel,et al.  An annotational extension of message sequence charts to support performance engineering , 1997, SDL Forum.

[12]  Jörg Hintelmann,et al.  Performance analysis of TCP's flow control mechanisms using queueing SDL , 1997, SDL Forum.

[13]  Falko Bause,et al.  Quantitative Evaluation of Computing and Communication Systems , 1995, Lecture Notes in Computer Science.

[14]  Andreas Mitschele-Thiel.  Integrating model-based optimization and program transformation to generate efficient parallel programs , 1999, J. Syst. Archit..

[15]  Bruno Müller-Clostermann,et al.  The QUEST-Approach for the Performance Evaluation of SDL-Systems , 1996, FORTE.

[16]  Günter Hommel,et al.  TimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets , 1995, Perform. Evaluation.

[17]  Christoph Schaffer,et al.  EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems , 1995, EUROCAST.

[18]  Falko Bause,et al.  Design von Modellierungstools zur Leistungsbewertung: HIT, MACOM, QPN-Tool , 1995, Informationstechnik Tech. Inform..

[19]  Dieter Hogrefe,et al.  Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols , 1991, IEEE Trans. Computers.

[20]  Raj Jain,et al.  The art of computer systems performance analysis - techniques for experimental design, measurement, simulation, and modeling , 1991, Wiley professional computing.

[21]  Peter Buchholz,et al.  Qualitative und Quantitative Analysis of Timed SDL Specifications , 1993, Kommunikation in Verteilten Systemen.

[22]  Mandyam M. Srinivasan,et al.  Introduction To Computer System Performance Evaluation , 1992 .

[23]  Bruno Müller-Clostermann,et al.  Performance Evaluation of SDL Systems Adjunct by Queueing Models , 1995 .

[24]  H. Beilner,et al.  Towards a Performance Modelling Environment: News on Hit , 1989 .

[25]  Rick Reed.  Methodology for Real Time Systems , 1996, Comput. Networks ISDN Syst..

[26]  R. Gerlich.  Tuning Development of Distributed Real-Time Systems with SDL and MSC , 1997 .

[27]  M. G. Rodd,et al.  Engineering real-time systems , 1995 .

[28]  Peter Buchholz,et al.  Protocol Analysis Using a Timed Version of SDL , 1990, FORTE.