Jürgen Greifeneder:
     Dependability Analysis in Networked Automation Systems using Probabilistic Models
     Gastvortrag am Lurpa der ENS Cachan, Frankreich, Dezember 2006.

The analysis of dependability in Networked Automation Systems (NAS) requires the engineer to take into account different aspects and eigenbehavior of the system. Due to stochastic and synchronisation effects, classical methods can not be applied any more.

In this presentation Probabilistic Model Checking (PMC) is presented as an approach for analyzing NAS. The analyzed properties refer to dependability (in general) and safety, reliability as well as quality (in particular). The approach will be introduced and demonstrated using typical NAS-examples.