Formal methods for performance evaluation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2090, Issue , 2001, Pages 1-37

  Herzog, Ulrich ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; RANDOM PROCESSES; STOCHASTIC SYSTEMS;

CLASSICAL MODEL; FORMAL SPECIFICATION TECHNIQUES; PERFORMANCE ENGINEERING; PERFORMANCE MODELING AND ANALYSIS; STOCHASTIC ACTIVITY NETWORKS; STOCHASTIC PETRI NETS; STOCHASTIC PROCESS ALGEBRAS; TASK INTER-DEPENDENCIES;

FORMAL METHODS;

EID: 84944325507     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44667-2_1     Document Type: Conference Paper

References (72)

1. M. Ajmone Marsan, G. Balbo, and G. Conte. Performance Models of Multiprocessor Systems. MIT Press, 1986.
2. A. Aldini, M. Bernardo, and R. Gorrieri. An Algebraic Model for Evaluating the Performance of an ATM-Switch with Explicit Rate Marking. In Proceedings of the PAPM-Workshop, 1999.
3. G. Balbo. Introduction to Stochastic Petri Nets. This volume.
4. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN System, 14, 1987.
5. M. Bernardo, W.R. Cleaveland, S.T. Sims, and W.J. Stewart. TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. In FORTE/PSTV, 1998.
6. G. Bolch, S. Greiner, H. de Meer, and K. S. Trivedi. Queuing Networks and Markov Chains. John Wiley & Sons, 1998.
7. E. Brinksma and H. Hermanns. Process Algebra and Markov Chains. This volume.
8. F. Bause and P. Kritzinger. Stochastic Petri Nets. Vieweg, Braunschweig, 1996.
9. E. Brinksma, J.P. Katoen, D. Latella, and R. Langerak. Partial-order models for quantitative extensions of LOTOS. Computer Networks and ISDN Systems, 30(9/10):925-950, 1998.
10. P. Buchholz. Markovian Process Algebra: Composition and Equivalence. In U. Herzog and M. Rettelbach, editors, Proc. of the 2nd Workshop on Process Algebras and Performance Modelling, pages 11-30, Regensberg/Erlangen, 1994. Arbeitsberichte des IMMD, Universitat Erlangen-Nurnberg.
11. J. P. Buzen. Queuing network models of multiprogramming. PhD thesis, Div. Eng. and Applied Physics, Harvad Univ., Cambridge, Mass., May 1971.
12. C. Cassandras. Discrete Event Systems: Modeling and Performance Analysis. Irwin Inc. and Aksen Associates, Inc, 1993.
13. G. Ciardo. Distributed and Structured Analysis Approaches to Study Large and Complex Systems. This volume, 2001.
14. L. Cohen. The Single Server Queue. North Holland, Amsterdam, 1969. revised 1982.
15. P.R. D’Argenio. Algebras and Automata for Timed and Stochastic Systems. IPA Dissertation Series 1999-10, CTIT Phd-Thesis Series 99-25, University of Twente, November 1999.
16. Erlang. The Application of the Theory of Probabilities in Telephone Administration. Scandinavian H.C. Orsted Congress, Copenhagen, 1920.
17. D. Ferrari. Considerations on the Insularity of Performance Evaluation. IEEE Transactions on Software Engineering, 12(6):678-683, 1986.
18. H. J. Fromm, U. Hercksen, U. Herzog, K.-H. John, R. Klar, and W. Kleinoder. Experience with performance meassurement and modelling of a processor array. IEEE Trans. on Computers, 32(1):15-31, January 1983.
19. F. Fischer, T. Hopfner, T. Kolloch, A. Muth, S. Petters, G. Farber, M. Dorfel, W. Dulz, R. Hofmann, A. Mitschele-Thiel, R. Munzenberger, F. Slomka, and U. Herzog. Rapid Prototyping von Realzeitsystemen. it+ti, 42(2):45-53, 2000.
20. D. Ferrari, G. Serazzi, and A. Zeigner. Measurement and Tuning of Computer Systems. Prentice Hall, Inc., Englewood Cliffs, 1983.
21. R. German. Non-Markovian Analysis. This volume.
22. D. Gross and C.M. Harris. Fundamentals of Queuing Theory. John Wiley&Sons, Second Edition, 1985.
23. N. Gotz, U. Herzog, and M. Rettelbach. TIPP - Einfuhrung in die Leistungsbewertung von verteilten Systemen mit Hilfe von Prozeßalgebren. In Verteilte Systeme - Grundlagen und zukunftige Entwicklungen aus der Sicht des Sonderforschungsbereichs 182 “Multiprozessor- und Netzwerkkonfigurationen”, pages 509-531. BIWissenschaftsverlag, 1993.
24. S. Gilmore. The PEPA workbench: A tool to support a process algebra-based approach to performance modelling. In G. Kotsis G. Haring, editor, 7th Internat.Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Wien, 1994.
25. R. Gorrieri. Stochastic Process Algebras; Past and Future. In J. Hillston and M. Silva, editors, Proceedings of the PAPM’99-workshop, pages 1-2, Prensas Universitarias de Zaragoza, 1999. Invited Talk at the Multi-Workshop on Formal Methods in Performance Evaluation and Applications.
26. B. Haverkort. Markovian Models for Performance and Dependability Evaluation. This volume.
27. U. Herzog. Modellierung des Ablaufgeschehens in Networks - Modelling of Network Dynamics. In Lectures and Tutorials, Information und Kommunikation, number 8, pages 175-208. Oldenbourg, Munich, 1979.
28. U. Herzog. A Concept for Graph-Based Stochastic Process Algebras, Generally Distributed Activity Times and Hierarchical Modelling. Technical report IMMD VII 4/96, Universitat Erlangen-Nurnberg, Martensstr. 3, 91058 Erlangen, May 1996.
29. H. Hermanns, U. Herzog, U. Klehmet, V. Mertsiotakis, and M. Siegle. Compositional performance modelling with the TIPPtool. Performance Evaluation, 39(1-4):5-35, January 2000.
30. H. Hermanns, U. Herzog, and J.-P. Katoen. Process Algebra for Performance Evaluation. Journal of Theoretical Computer Science, Elsevier, to appear 2001.
31. H. Hermanns, U. Herzog, and V. Mertsiotakis. Stochastic Process Algebras - between LOTOS and Markov Chains. Computer Networks and ISDN Systems, 1998.
32. J. Hillston. A Compositional Approach to Performance Modelling. PhD thesis, University of Edinburgh, 1994.
33. J. Hillston. Exploiting Structure in Solution: Decomposing Compositional Models. This volume.
34. H. Hermanns, J.-P. Katoen, J. Meyer-Kayser, and M. Siegle. Towards model checking stochastic process algebra. In W. Grieskamp, T. Santen, and B. Stoddart, editors, 2nd Int. Conference on Integrated Formal Methods, pages 420-439, Dagstuhl, November 2000. Springer, LNCS 1945.
35. F.S. Hillier and G.J. Liebermann. Introduction to Operations Research. Holden Day Inc., San Francisco, 1967.
36. G. Haring, C. Lindemann, and M. Reiser. Performance Evaluation: Origin and Directions. Number 1769 in LNCS State-of-the-Art Survey. Springer, 2000.
37. J. Hillston and V. Mertsiotakis. A Simple Time Scale Decomposition Technique for Stochastic Process Algebras. The Computer Journal, 38(7):566-577, 1995. Special issue: Proc. of the 3rd Workshop on Process Algebras and Performance Modelling.
38. H. Hermanns, V. Mertsiotakis, and M. Rettelbach. A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP. In Proc. of 2nd Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems, pages 427-430. Springer, LNCS 1055, 1996.
39. H. Hermanns, J. Meyer-Kayser, and M. Siegle. Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains. In B. Plateau, W.J. Stewart, and M. Silva, editors, 3rd Int. Workshop on the Numerical Solution of Markov Chains, pages 188-207. Prensas Universitarias de Zaragoza, 1999.
40. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.
41. U. Herzog and J. Rolia. Performance Validation Tools for Software/Hardware Systems. Performance Evaluation, 40, to appear in 2001
42. International Teletraffic Congress, since 1955. Conference and proceedings every three years.
43. Raj Jain. The Art of Computer Systems Performance Analysis. J. Wiley, New York, 1991. I: Overview, II: Measurement, III: Probability, IV:Experimental Design, V: Simulation, VI: Queuing Models.
44. J.-P. Katoen and P.R. D’Argenio. General Distributions in Process Algebra. This volume.
45. R. Klar, P. Dauphin, F. Hartleb, R. Hofmann, B. Mohr, A. Quick, and M. Siegle. Messung und Modellierung paralleler und verteilter Rechensystem. Teubner, 1995.
46. L. Kleinrock. Queueing Systems, volume 1: Theory. John Wiley & Sons, 1975.
47. W. Kleinoder. Stochastische Bewertung von Aufgabenstrukturen fur Hierarchische Mehrrechnersysteme. IMMD, University of Erlangen, August 1982. Dissertation am Lehrstuhl 7 des IMMD.
48. H. Kobayashi. Modeling and Analysis - An Introduction to System Performance Evaluation Methodology. Addison-Wesley, 1978.
49. F. Lemmen. Spezifikationsgesteuertes Monitoring zur Integration der Leistungsbewertung in den formalen Entwurf von Kommunikationssystemen. IM M D,University of Erlangen, 2000. Dissertation am Lehrstuhl 7 des IMMD.
50. K. Marzbani. Hierarchische Beschreibung und Analyse von Kommunikationssystemen mittels graphbasierter Prozessalgebren. Diplomarbeit, IMMD7, Universitat Erlangen-Nurnberg, Marz 1997.
51. R. Gorrieri, M. Bernardo, L. Donatiello. MPA, a Stochastic Process Algebra. Technical report, University of Bologna, 1994. Techn. Report to 94-10.
52. R. Milner. Communication and Concurrency. Prentice Hall, London, 1989.
53. M.K. Molloy. On the integration of delay and throughput measures in distributed processing models. PhD thesis, University of California, Los Angeles, 1981.
54. M.K. Molloy. Fundamentals of Performance Modeling. Macmillan-Colliev Macmillan, 1989.
55. V. Mertsiotakis and M. Silva. Throughput Approximation of Decision Free Processes Using Decomposition. In Proc. of the 7th Int. Workshop on Petri Nets and Performance Models, pages 174-182, St. Malo, June 1997. IEEE CS-Press.
56. C.A. Petri. Kommunikation mit Automaten, 1962. Dissertation an der Universitat Bonn, Schriften des Instituts fur Instrumentelle Mathematik Nr. 3.
57. C. Priami. Stochastic π-calculus with general distributions. In Proc. of the 4th Workshop on Process Algebras and Performance Modelling, pages 41-57, Torino, July 1996. Dpto. di Informatica, Universita di Torino. To appear.
58. J.A. Rolia and K.C. Sevcik. The Methods of Layers. IEEE Transactions on Software Engineering, 21(8):689-700, 1995.
59. T.L. Saaty. Elements of Queuing Theory. With Applications. McGraw-Hill, 1961.
60. W. Sanders. UltraSAN User’s Manual, Version 3.0. University of Illinois, Urbana- Champaign, 1995.
61. W. Sanders and J.F. Meyer. Stochastic Activity Networks: Formal Definitions and Concepts. This volume.
62. A.L. Scherr. An Analysis of Time-Shared Computer Systems. Number 36 in Research Monograph. MIT Press, 1967.
63. F. Slomka, M. Dorfel, R. Munzenberger, and R. Hofmann. Hardware/Software Codesign and Rapid Prototyping of Embedded Systems. IEEE Design and Test of Computers, pages 28-38, 2000.
64. W.J. Stewart. Introduction to the numerical solution of Markov chains. Princeton University Press, 1994
65. W.J. Stewart. Numerical Analysis Methods. In G. Haring, Ch. Lindemann, and M. Reiser, editors, Performance Evaluation: Origins and Directions, LNCS 1769, pages 355-376. Springer, Berlin, Heidelberg, 2000.
66. R. V. Stieglitz. Messung und Bewertung des dynamischen Verhaltens eines Kommunikations- Prototypen fur Breitband-ISDN (BERKOM). Dimplomarbeit, IMMD7, Universitat Erlangen-Nürnberg, 1990.
67. R. Syski. Introduction to Congestion Theory in Telephone Systems. Oliver and Boyd, reprinted 1985.
68. P. Tran-Gia. Analytische Leistungsbewertung verteilter Systeme. Springer, 1996. in German.
69. Kishor S. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Science Applications. Prentice-Hall, 1982.
70. I. Weigel. Modelle fur Entwurf und Bewertung eines dynamischen Lastverbunds lose gekoppelter Rechensysteme. IMMD, Martensstraße 3, 91058 Erlangen, Marz 1994. Dissertation am Lehrstuhl für Rechnerarchitektur und -Verkehrstheorie, Universitat Erlangen-Nurnberg.
71. P. Wimmer. Lastcharakterisierung in der automatisierten Fertigung am Beispiel der Leiterplattenbestuckung. Diplomarbeit, IMMD7, Universitat Erlangen-Nurnberg, Januar 1991.
72. C.M. Woodside, J.E. Neilson, D.C. Petriu, and S. Majumdar. The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software. IEEE Transactions on Computers, 44(1):20-34, January 1995.