Methoden zur Antwortzeitanalyse in vernetzten Automatisierungssystemen

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

Abstract: 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:

200711_SPSIPCDrives-GreifenederLiuFrey.pdf

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.

Jürgen Greifeneder, 06.12.2007

Impressum

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

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