Greifeneder, Jürgen; Liu Liu und Georg Frey:
Methoden zur Antwortzeitanalyse in vernetzten Automatisierungssystemen
Methods for Analyzing Response Times in Networked Automation Systems
Proceedings of the SPS/IPC/DRIVES, Nürnberg, Deutschland, Seiten 517 - 525, November 2007
In this article two approaches for the analysis of response times in Networked Auto-mation Systems are presented.
Their strength and weaknesses are discussed using a typical example. While simulation using Modelica offers a
user-friendly implementation of the system, probabilistic model-checking gives more accurate and reproducible
results in less time. The results of both methods are validated by measurements.
Keywords: Response Time, Probabilistic Model Checking, Simulation, Networked Automation Systems.
Download full paper:
Copyright notice: This material is presented to ensure dissemination
of scholarly and technical work. Copyright and all rights therein
are retained by the authors or by other copyright holders. All persons
copying this information are expected to adhere to the terms and constraints
invoked by each authorís copyright. These works or parts of it may not be used
to repost reprint/republish or for creating new collective works for resale
or redistribution to servers or lists without the explicit permission of
the copyright holder.