Presentation: Quantitative Analysis of Safety-Critical Systems

When: March 11, 2014, 15:45-16:30

Where: RA 1501

I will combine "classical" Markov chains with "modern" concurrency theory and argue that such a marriage is needed for the trustworthy design of dependable systems. I'll present the resulting modeling formalism, and some quantitative analysis algorithms that rely on Markov decision theory. In the second part, I'll discuss its merits in industrial settings such as the European Space Agency and ProRail, and show its use in solving a long-standing issue in stochastic Petri nets.

	Home > News and Events > Events
<< EEMCS (EWI) Home News and Events » Group Colloquium » Events » In the Media People Research Education Vacancies Intranet Contact	Presentation: Quantitative Analysis of Safety-Critical Systems When: March 11, 2014, 15:45-16:30 Where: RA 1501 Who: Joost-Pieter Katoen I will combine "classical" Markov chains with "modern" concurrency theory and argue that such a marriage is needed for the trustworthy design of dependable systems. I'll present the resulting modeling formalism, and some quantitative analysis algorithms that rely on Markov decision theory. In the second part, I'll discuss its merits in industrial settings such as the European Space Agency and ProRail, and show its use in solving a long-standing issue in stochastic Petri nets.