You are here: Home :: Area NEM :: Engineering :: Automation

Jürgen Greifeneder, Georg Frey

Probabilistic Model Checking of Networked Automation Systems

Keywords: probabilistic model checking, automata, synchronization, networked automation systems, response times

In this article, the possibilities of Probabilistic Model Checking as a formal method for the analysis of Networked Automation Systems (NAS) are analyzed. First an overview on existing methods is given. Thereafter, the requirements on a modeling formalism for representing NAS are discussed. Furthermore, it is shown, that dependability analysis of NAS can be abstracted towards the discussion of response times. Based on a typical example from the area of NAS, the influence of different effects on the performance of the total system will be explained and discussed.

at – Automatisierungstechnik, Oldenbourg Wissenschaftsverlag

Print ISSN: 0178-2312
Volume: 55, 12/2007
Pages: 624 - 633

Show full article (external site)

Show all available items of this journal

 

Area NEM