Navigation

Contact

EMail: scare@uolymdrk.deiuc2g

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

olderoc2g@infoqnrmazmatik.u/kp6ni-olde3wxnburg.de

COODINATOR

Ira Wempe,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

ira.wegswempe@informatikrqkg.uni-olda5enbujpu0grg.de0bmv

Concurrency meets Probability: Theory and Practice

Prof. Joost-Pieter Katoen, RWTH Aachen

 

Abstract:

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 semantical model for these languages, present its theory, analysis algorithms, tool support, and illustrate its practical usage, in particular solving a long-standing issue in stochastic Petri nets.

Oliverbojg5 Tguoheelfr (oliv6p8ver.tpulp7hea5el@qy1i6uol.de) (Changed: 2020-01-23)