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. 1 Introduction Dependability analysis and performance evaluation of computer systems have been carried out separately for a long time. The idea of integrating reliability modelling and performance modelling, however, is not new. The examination of reliability with queueing systems for example was presented already in [40]. Various combined measures for performance and dependability were proposed in [2..