Stochastic Process Algebras Applied to Failure Modelling
نویسندگان
چکیده
In the past we concentrated on the conceptual design and theoretical foundation of stochastic process algebras and applied this promising method mainly to the performance evaluation of multiprocessor and distributed systems. Nevertheless, we demonstrated at the READPAC– Workshop in principle and by an example how to apply these ideas to the description of reliability aspects. Our current version of TIPP allows us to extend these results. In particular our prototype evaluation tool now provides efficient evaluation of both performance and dependability measures for quite complex systems.
منابع مشابه
Stochastic Process
We introduce Stochastic Process Algebras as a novel approach for the structured design and analysis of both the functional behaviour and performabil-ity (i.e performance and dependability) characteristics of parallel and distributed systems. This is achieved by integrating stochastic modelling and analysis into the powerful and well investigated formal description techniques of process algebras...
متن کاملScalable Stochastic Modelling for Resilience
This chapter summarises techniques that are suitable for performance and resilience modelling and analysis of massive stochastic systems. We will introduce scalable techniques that can be applied to models constructed using DTMCs and CTMCs as well as compositional formalisms such as stochastic automata networks, stochastic process algebras and queueing networks. We will briefly show how techniq...
متن کاملStochastic Process Algebras and their Application to
In this tutorial we present two major applications of process algebras to performance modelling. The rst is the use of classical or timed process algebra to verify simulation models. The second is the direct use of stochastic process algebras to construct and solve performance models. The tutorial presents an overview of the current trends and areas of active research, as well as their implicat...
متن کاملStochastic Process Algebras - Between LOTOS and Markov Chains
This paper introduces stochastic process algebras as an approach for the structured design and analysis of both the functional behavior and performance characteristics of parallel and distributed systems. This is achieved by integrating stochastic modelling and analysis into process algebras like CCS or LOTOS. We demonstrate how notions of equivalent behavior – substantial for process algebras ...
متن کاملConnecting process algebras and differential equations for Systems Biology
We discuss two formalism widely used for modeling biological systems, i.e. stochastic process algebras and differential equations. The focus is in understanding relationships intervening between the two mathematical theories, discussing existing work, and suggesting methods to translate one formalism into the other.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994