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.
|Jürgen Greifeneder, 18.01.2007||Impressum|