TIPPtool: Compositional specification and analysis of markovian performance models

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

Volumn 1633, Issue , 1999, Pages 487-490

  Hermanns, H ^a,b   Mertsiotakis, V ^a,c   Siegle, M ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

^b UNIVERSITY OF TWENTE   (Netherlands)

^c NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

RANDOM PROCESSES; SPECIFICATIONS; STOCHASTIC SYSTEMS;

COMPOSITIONAL SPECIFICATIONS; FRONT END; MARKOVIAN; MARKOVIAN STOCHASTIC PROCESS; MODEL SPECIFICATIONS; PERFORMANCE MODEL; QUANTITATIVE MODELING;

COMPUTER AIDED ANALYSIS;

EID: 84957106785     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48683-6_42     Document Type: Conference Paper

References (13)

1. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. In The Formal Description Technique LOTOS, pages 23-73, Amsterdam, 1989. North-Holland.
2. Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Radu Mateescu, Laurent Mounier, and Mihaela Sighireanu. Cadp (cæsar/aldebaran developmentpackage): A protocol validation and verification toolbox. In Proceedings of the 8th Conference on Computer-Aided Verification (CAV96), Springer LNCS 1102:437-440. August 1996.
3. S. Gilmore, J. Hillston, R. Holton, and M. Rettelbach. Specifications in Stochastic Process Algebra for a Robot Control Problem. International Journal of Production Research 34(4):1065-1080, 1996.
4. F. Hartleb and A. Quick. Performance Evaluation of Parallel Programms-Modeling and Monitoring with the Tool PEPP. In Proceedings of 7th GI-ITG Fachtagung "Messung, Model-lierung undBewertung vonRechen-undKommunikationssystemen", pages 51-63. Informatik Aktuell, Springer. September 1993.
5. H. Hermanns, U. Herzog, U. Klehmet, V. Mertsiotakis, and M. Siegle. Compositional Performance Modelling with the TIPPtool. In 10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS 98), Springer LNCS 1469:51-62. September 1998.
6. H. Hermanns, U. Herzog, andV. Mertsiotakis. Stochastic ProcessAlgebras-Between LOTOS and Markov Chains. Computer Networks and ISDN Systems, 30(9-10):901-924, 1998.
7. H. Hermanns and J.P. Katoen. Automated Compositional Markov Chain Generation for a Plain Old Telephony System. Science of Computer Programming. to appear.
8. U. Herzog. A Concept for Graph-Based Stochastic Process Algebras, Generally Distributed Activity Times and Hierarchical Modelling. In Proc. of the 4th Workshop on Process Algebras and Performance Modelling, pages 1-20. Universita di Torino, CLUT, 1996.
9. J. Hillston and V. Mertsiotakis. A Simple Time Scale Decomposition Technique for SPAs. In The Computer Journal, 38(7):566-577, 1995.
10. J.G. Kemeny and J.L. Snell. Finite Markov Chains. Springer, 1976.
11. J.A. Manas, T. de Miguel, and J. Salvachua. Tool Support to Implement LOTOS Specifications. Computer Networks and ISDN Systems, 25(7):815-839, 1993.
12. 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.
13. M. Siegle, B. Wentz, A. Klingler, and M. Simon. Neue Ansatze zur Planung von Klinikkom-munikationssystemen mittels stochastischer Leistungsmodellierung. In 42. Jahrestagung der Deutschen Gesellschaftfur Medizinische Informatik, Biometrie und Epidemiologie (GMDS), pages 188-192, Ulm, September 1997. MMV Medien & Medizin Verlag.