Advertisement

SDL and Petri Net Performance Analysis of Communicating Systems

  • Falko Bause
  • Peter Kemper
  • Heinz Kabutz
  • Pieter Kritzinger
Chapter
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT)

Abstract

The automated functional and performance analysis of communicating systems specified with some Formal Description Technique has long been the goal of protocol engineers. In this paper we give a description of a Petri net enhanced with queued places which enables one to automatically translate an SDL specification to a net for its direct functional and performance analysis.

In particular, the new type of Petri net allows one to describe the process queues and SAVE construct, the FIFO channel queue, as well as timeouts which previously evaded temporal analysis of systems specified in SDL. The new net is called SDL-net. We analyze the performance of a modified InRes protocol using SDL-net as the modelling paradigm.

Keywords

Specification language performance analysis correctness analysis Petri net Markov process protocol 

References

  1. [Bau93]
    F. Bause. Queueing Petri nets: a formalism for the combined qualitative and quantitative analysis of systems. In Proceedings of the 5th International Workshop on Petri Nets and Performance Models. IEEE, October 1993.Google Scholar
  2. [BB90]
    F. Bause and P. Buchholz. Protocol analysis using a timed version of SDL. In FORTE’90, 3rd Intl Conf. on Formal Description Techniques, pages 239–255. North Holland Elsevier, 1990.Google Scholar
  3. [BHS91]
    F. Belina, D. Hogrefe, and A. Sarma. SDL with Application to Protocol Specification. Prentice Hall, 1991.Google Scholar
  4. [BK94]
    F. Bause and P. Kemper. QPN-Tool for the qualitative and quantitative analysis of Queueing Petri Nets. In G. Haring and G. Kotsis, editors, Proc. of the 7th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools, Vienna (Austria), LNCS 794, pages 321–334. Springer-Verlag, Berlin, 1994.Google Scholar
  5. [DB87]
    P. Dembinski and S. Budkowski. Simulating Estelle specifications with time parameters. In H. Rudin and C. West, editors, 7th Intl Conf. on Protocol Specification, Testing and Verification, Zurich, Switzerland, pages 265–279. North Holland Elsevier, 1987.Google Scholar
  6. [EK87]
    M. Lindqvist E. Kettunen. Towards Practicality of Predicate/Transition Petri Net Reachability Analysis of SDL. In P.A.J. Tilanus R. Saracco, editor, SDL ’87 - State of the Art and Future Trends, 1987.Google Scholar
  7. [Gra90]
    J. Grabowski. Statische und dynamische Analysen für SDL-Spezifikationen auf der Basis von Petri-Netzen und Sequence-Charts. Master’s thesis, University of Bern, 1990.Google Scholar
  8. [Hog89]
    D. Hogrefe. Estelle, LOTOS und SDL. Springer Berlin, 1989.CrossRefGoogle Scholar
  9. [Ho191]
    G.J. Holzmann. Design and validation of Computer Protocols. Prentice-Hall International, 1991.Google Scholar
  10. [Kri86]
    P.S. Kritzinger. A performance model of the ISO communication architecture. IEEE Transactions on Computers, COM-34(6): 554–563, 1986.Google Scholar
  11. [KW92]
    P.S. Kritzinger and G. Wheeler. Semi-markovian analysis of protocol performance. In Andrè Danthine et al., editors, 13th Int’l Conf. on Protocol Specification, Testing and Verification, Liège, Belgium, pages C3–1 — C3–14. North Holland Elsevier, 1992.Google Scholar
  12. [Tau93]
    U. Taubert. Entwicklung eines Analysewerkzeuges für SDL’92 Spezifikationen unter Nutzung erweiterter Petri-Netze. Master’s thesis, Humboldt University of Berlin, 1993.Google Scholar
  13. [TF93]
    U. Taubert and J. Fisher. Vergleich zweier Methoden zur Analyse von SDLSpezifikationen mit Hilfe von Petri-Netzen am Beispiel des Inres-Protokolls. Technical report, Fachbereich Informatik, Humboldt-Universität zu Berlin, 1993.Google Scholar
  14. [vBV88]
    G. von Bochmann and J. Vaucher. Adding performance aspects to specification languages. In 8th Int’l Conf. on Protocol Specification, Testing and Verification, Atlantic City, USA, pages 19–31. North Holland Elsevier, 1988.Google Scholar
  15. [Wes89]
    C.H. West. Protocol validation in complex systems. In Proc. 8th ACM Symposium on Principles of Distributed Computing, Austin, Texas, 1989.Google Scholar

Copyright information

© IFIP International Federation for Information Processing 1996

Authors and Affiliations

  • Falko Bause
    • 1
  • Peter Kemper
    • 1
  • Heinz Kabutz
    • 2
  • Pieter Kritzinger
    • 2
  1. 1.Informatik IVUniversität DortmundDortmundGermany
  2. 2.Data Network Architectures Laboratory, Computer Science DepartmentUniversity of Cape Town, Private BagRondeboschSouth Africa

Personalised recommendations