Greifeneder, Jürgen und Georg Frey:
     Reactivity Analysis of different Networked Automation System Architectures
     Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2008), Hamburg, Germany, Seiten 1031-1038, September 2008.

Abstract: The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calculated using probabilistic model checking (PMC). The analysis of a NAS has to account for several coupled components, each of them exhibiting its own behavior. Consequently, in this article the influences of (1) the controller‘s execution behavior including its network interface card (cyclic vs. interrupt based) and (2) the communication model (Producer-Consumer vs. Client-Server) on the response time behavior will be analyzed. For this purpose the systems are represented by abstract models using probabilistic timed automata. Probabilistic model checking is used to compare the reactivity of different possible combinations of the basic behaviors.

Keywords: NAS, PMC, Architecture.

Download full paper: 200809_ETFA-GreifenederFrey.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, 15.10.2008 Impressum