Abstract
There are many ways to incorporate a notion of time into process algebras in order to integrate functional design and performance analysis. One major research strand, stochastic process algebras, concentrates on the annotation of actions with exponentially distributed random variables. This paper presents a tool for the functional analysis and performance evaluation of complex systems based on the stochastic process algebra paradigm. The TIPP-tool provides facilities for model specification, reachability analysis, as well as several numerical algorithms for the solution of the underlying Markov chain and the computation of performance measures.
Chapter PDF
Similar content being viewed by others
Keywords
- Operational Semantic
- Process Algebra
- Continuous Time Markov Chain
- Underlying Markov Chain
- Functional Programming Language
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. In The Formal Description Technique LOTOS. North-Holland, 1989.
N. Götz, H. Hermanns, U. Herzog, V. Mertsiotakis, and M. Rettelbach. Constructive Specification Techniques — Integrating Functional, Performance and Dependability Aspects. In Quantitative Methods in Parallel Systems. Springer, 1995.
H. Hermanns and V. Mertsiotakis. A Stochastic Process Algebra Based Modelling Tool. In Proc. of the 11th U.K. Perf. Eng. Workshop for Computer and Telecommunication Systems. Springer, 1995.
H. Hermanns and M. Rettelbach. Syntax, Semantics, Equivalences, and Axioms for MTIPP. In Proc. of the 2nd Workshop on Process Algebras and Performance Modelling. IMMD, UniversitÄt Erlangen, 1994.
H. Hermanns, M. Rettelbach, and T. Wei\. Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching. The Computer Journal, 38(7), December 1995. Special issue: Proc. of the 3rd Workshop on Process Algebras and Performance Modelling.
S.K. Kundert and A. Sangiovanni-Vincentelli. A Sparse Linear Equation Solver. Technical report, University of California, Berkeley, 1988.
M. Rettelbach. Probabilistic Branching in Markovian Process Algebras. The Computer Journal, 38(7), December 1995. Special issue.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hermanns, H., Mertsiotakis, V., Rettelbach, M. (1996). A construction and analysis tool based on the stochastic process algebra TIPP. In: Margaria, T., Steffen, B. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 1996. Lecture Notes in Computer Science, vol 1055. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61042-1_65
Download citation
DOI: https://doi.org/10.1007/3-540-61042-1_65
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61042-7
Online ISBN: 978-3-540-49874-2
eBook Packages: Springer Book Archive