Greifeneder, Jürgen, Liu Liu und Georg Frey:
     Comparing Simulative and Formal Methods for the Analysis of Response Times in Networked Automation Systems
     Proceedings of the 17th IFAC World Congress, Seoul, Südkorea, Seiten 5113-5118, Juli 2008

Abstract: Networked Automation Systems (NAS) result from the increasing decentralization of automation systems using new network structures. The new modern structures are less expensive and more flexible. However, they introduce non-deterministic delays. Therefore, the detailed analysis methods are being investigated. In this article, two approaches for the analysis of response times in NAS are presented. Their strengths and weaknesses are discussed based on a typical example. While simulation using Dymola/Modelica offers a user-friendly implementation of the system models, probabilistic model checking gives more accurate and reproducible results in less time. The results of both methods are validated by measurements with large number of samples. It is demonstrated relatively accuracy results are obtainable by both approaches.

Keywords:Response Time, Probabilistic Model Checking, Simulation, Networked Automation Systems.

Download full paper: 200807_IFACWC-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, 19.12.2007 Impressum