Greifeneder, J.; Frey, G.:
Determination of Delay Times in Failure Afflicted Networked Automation Systems using Probabilistic Model Checking.
Proceedings of 6th IEEE International Workshop on Factory Communication Systems (WFCS 2006), Torino, Italy, pp. 263-272, June 28-31, 2006.

The determination of delay times in failure afflicted Networked Automation Systems (NAS) is a new challenge for automation engineers. In addition to the new system structures of NAS which share one or more common devices delays resulting from internal network processes have to be taken into account. Furthermore, the considerable influence of data transmission between several asynchronously executed cyclic processes on system performance should not be neglected in a work on delay times.

This paper introduces a modular modeling approach for NAS based on probabilistic timed automata. The generated models allow the determination of delay times by the use of probabilistic model checking (PMC). To illustrate the concept it is applied to a case study deter-mining reliability properties of a NAS.

Keywords: Probabilistic Model Checking, Delay Times, Reliability Analysis, Networked Automation Systems.