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]  L. Christie,et al.  Queuing with Preemptive Priorities or with Breakdown , 1958 .

[2]  P. Naor,et al.  Queuing Problems with Heterogeneous Arrivals and Service , 1971, Oper. Res..

[3]  M. Thomas.  Queueing Systems. Volume 1: Theory (Leonard Kleinrock) , 1976 .

[4]  W. Grassmann.  Transient solutions in Markovian queues : An algorithm for finding them and determining their waiting-time distributions , 1977 .

[5]  M. D. Beaudry,et al.  Performance-Related Reliability Measures for Computing Systems , 1978, IEEE Transactions on Computers.

[6]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[7]  John F. Meyer,et al.  On Evaluating the Performability of Degradable Computing Systems , 1980, IEEE Transactions on Computers.

[8]  Marcel F. Neuts,et al.  Matrix-Geometric Solutions in Stochastic Models , 1981 .

[9]  Kishor S. Trivedi.  Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .

[10]  Paul J. Schweitzer,et al.  Aggregation Methods for Large Markov Chains , 1983, Computer Performance and Reliability.

[11]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[12]  Kishor S. Trivedi,et al.  An Aggregation Technique for the Transient Analysis of Stiff Markov Chains , 1986, IEEE Transactions on Computers.

[13]  Satish K. Tripathi,et al.  Performance Analysis of Synchronization for Two Communicating Processes , 1988, Perform. Evaluation.

[14]  Peter W. Glynn,et al.  Computing Poisson probabilities , 1988, CACM.

[15]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[16]  Hany H. Ammar,et al.  Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models , 1989, IEEE Trans. Software Eng..

[17]  Udo R. Krieger,et al.  Modeling and Analysis of Communication Systems Based on Computational Methods for Markov Chains , 1990, IEEE J. Sel. Areas Commun..

[18]  Kishor S. Trivedi,et al.  Computing Cumulative Measures of Stiff Markov Chains Using Aggregation , 1990, IEEE Trans. Computers.

[19]  Kishor S. Trivedi,et al.  On the Solution of GSPN Reward Models , 1991, Perform. Evaluation.

[20]  Christoph Lindemann,et al.  Employing the Randomization Technique for Solving Stochastic Petri Nets Models , 1991, MMB.

[21]  Multiprocessor Systems with General Breakdowns and Repairs , 1992, SIGMETRICS.

[22]  Edmundo de Souza e Silva,et al.  Performability Analysis of Computer Systems: From Model Spacification to Solution , 1992, Perform. Evaluation.

[23]  Kishor S. Trivedi,et al.  Composite Performance and Dependability Analysis , 1992, Perform. Evaluation.

[24]  Norbert Götz,et al.  Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras , 1993, Performance/SIGMETRICS Tutorials.

[25]  Kishor S. Trivedi,et al.  Reliability and Performability Techniques and Tools: A Survey , 1993, MMB.

[26]  Boudewijn R. Haverkort,et al.  Specification techniques for Markov reward models , 1993, Discret. Event Dyn. Syst..

[27]  Graham Horton,et al.  A multi-level solution algorithm for steady-state Markov chains , 1994, SIGMETRICS.

[28]  Markus Siegle.  Reduced Markov Models Of Parallel Programs With Replicated Processes , 1994, Proceedings. Second Euromicro Workshop on Parallel and Distributed Processing.

[29]  Holger Hermanns,et al.  Markovian Processes Go Algebra , 1994 .

[30]  S. Wittevrongel,et al.  Queueing Systems , 2019, Introduction to Stochastic Processes and Simulation.