Performance Analysis of Distributed Systems Using TIPP - a Case Study

Communication protocol design requires to consider protocol performance in early phases of the software lifecycle. Therefore, extensions of formal description techniques have been introduced that allow to specify formally the functional behavior of a system on the one hand and additionally to capture quantitative aspects on the other hand by introducing timing aspects into formal descriptions. In this paper we employ stochastic process algebras for the performance analysis of an alternating bit protocol. Analysis is carried out based on the underlying Continuous Time Markov Chain.

[1]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[2]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[3]  Jean-Michel Fourneau,et al.  PEPS: A Package for Solving Complex Markov Models of Parallel Systems , 1989 .

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

[5]  Marco Ajmone Marsan,et al.  A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems , 1983, SIGMETRICS '83.

[6]  T. Y. WilliamJ,et al.  Numerical Methods in Markov Chain Modeling , 1992, Operational Research.

[7]  Norbert Götz,et al.  Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras , 1993, Performance/SIGMETRICS Tutorials.

[8]  Harry Rudin,et al.  From Formal Protocol Specification Towards Automated Performance Prediction , 1983, Protocol Specification, Testing and Verification.

[9]  Bruno Müller-Clostermann,et al.  MACOM - A TOOL FOR THE MARKOVIAN ANALYSIS OF COMMUNICATION SYSTEMS , 1991 .

[10]  Holger Hermanns,et al.  Markovian Processes Go Algebra , 1994 .

[11]  Ram Chakka,et al.  Application and Evaluation of the Spectral Expansion Solution Method , 1993 .

[12]  Christoph Lindemann.  An Improved Numerical Algorithm for Calculating Steady-State Solutions of Deterministic and Stochastic Petri Net Models , 1993, Perform. Evaluation.

[13]  Markus Siegle.  Reduced Markov Models Of Parallel Programs With Replicated Processes , 1994, Proceedings. Second Euromicro Workshop on Parallel and Distributed Processing.

[14]  Norbert Götz,et al.  TIPP - Introduction and Application to Protocol Performance Analysis , 1992, FBT.

[15]  Iso. Lotos,et al.  A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .

[16]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[17]  Paul J. Schweitzer,et al.  Aggregation Methods for Large Markov Chains , 1983, Computer Performance and Reliability.