Concurrency meets Probability: Theory and Practice

Joost-Pieter Katoen

I will argue that concurrent probabilistic models are needed for trustworthy design of dependable systems in practice. Industrial modeling languages such as AADL, stochastic Petri nets, fault trees and so on all naturally support concurrency and randomness. I'll show a simple operational model for these languages, present its theory, analysis algorithms, tool support, and illustrate its practical usage.