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