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