Analytic Calculus of Response Time in Networked Automation Systems

This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derived from modeling the entire architecture in the form of timed event graphs (TEGs), as well as from the resulting state representation in Max-Plus algebra. The various architectural stages are actually modeled in a very abstract pattern, which yields just those TEG models where local delays are sufficient to perform the overall evaluation. In this manner, linear Max-Plus equations are obtained. A thorough analysis of these equations has led to analytical formulas for direct calculus of NAS response time. As a final step, experimental measurements taken on a laboratory facility have been used to verify the validity of the results. In conclusion, the benefit and effectiveness of this novel method have been demonstrated.

[1]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[2]  François Baccelli,et al.  Recursive equations and basic properties of timed Petri nets , 1991 .

[3]  Rene L. Cruz,et al.  A calculus for network delay, Part I: Network elements in isolation , 1991, IEEE Trans. Inf. Theory.

[4]  Geert Jan Olsder,et al.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[5]  J. Mairesse.  A graphical approach of the spectral theory in the (max, +) algebra , 1995, IEEE Trans. Autom. Control..

[6]  Jürgen Jasperneite,et al.  Switched Ethernet for factory communication , 2001, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597).

[7]  Suk Lee,et al.  Performance evaluation of switched Ethernet for real-time industrial communications , 2002, Comput. Stand. Interfaces.

[8]  D. A. Zaitsev.  Switched LAN simulation by colored Petri nets , 2004, Math. Comput. Simul..

[9]  Peter Neumann,et al.  Communication in industrial automation—What is going on? , 2004 .

[10]  Eric Rondeau,et al.  Confronting the performances of a switched Ethernet network with industrial constraints by using the network calculus: Research Articles , 2005 .

[11]  Eric Rondeau,et al.  Confronting the performances of a switched Ethernet network with industrial constraints by using the network calculus , 2005, Int. J. Commun. Syst..

[12]  Birgit Vogel-Heuser,et al.  PERFORMANCE ANALYSIS OF INDUSTRIAL ETHERNET NETWORKS BY MEANS OF TIMED MODEL-CHECKING , 2006 .

[13]  Georg Frey,et al.  Optimizing Quality of Control in Networked Automation Systems using Probabilistic Models , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[14]  Georg Frey,et al.  Measuring the impact of vertical integration on response times in ethernet fieldbuses , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

[15]  Georg Frey,et al.  PROBABILISTIC TIMED AUTOMATA FOR MODELING NETWORKED AUTOMATION SYSTEMS , 2007 .

[16]  Georg Frey,et al.  Reactivity analysis of different Networked Automation System architectures , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[17]  Saïd Amari,et al.  Modeling and response time evaluation of ethernet-based control architectures using timed event graphs and Max-Plus algebra , 2008, 2008 IEEE International Conference on Automation Science and Engineering.

[18]  Jan Jonsson,et al.  Guaranteed real-time communication in packet-switched networks with FCFS queuing , 2009, Comput. Networks.