Verifying Response Times in Networked Automation Systems Using Jitter Bounds

Networked Automation Systems (NAS) have to meet stringent response time during operation. Verifying response time of automation is an important step during design phase before deployment. Timing discrepancies due to hardware, software and communication components of NAS affect the response time. This investigation uses model templates for verifying the response time in NAS. First, jitter bounds model the timing fluctuations of NAS components. These jitter bounds are the inputs to model templates that are formal models of timing fluctuations. The model templates are atomic action patterns composed of three composition operators-sequential, alternative, and parallel and embedded in time wrapper that specifies clock driven activation conditions. Model templates in conjunction with formal model of technical process offer an easier way to verify the response time. The investigation demonstrates the proposed verification method using an industrial steam boiler with typical NAS components in plant floor.

[1]  Liu Liu,et al.  Simulation approach for evaluating response times in networked automation systems , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

[2]  B. Vogel-Heuser,et al.  Modeling network architecture and time behavior of Distributed Control Systems in industrial plant automation , 2011, IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society.

[3]  Mishiga Vallabhan,et al.  An analytical framework for analysis and design of networked control systems with random delays and packet losses , 2015, ArXiv.

[4]  Johan Nilsson,et al.  Real-Time Control Systems with Delays , 1998 .

[5]  S. Seshadhri,et al.  Dynamic controller for Network Control Systems with random communication delay , 2011 .

[6]  Wang Yi,et al.  Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.

[7]  James Moyne,et al.  Performance evaluation of control networks: Ethernet, ControlNet, and DeviceNet , 2001 .

[8]  Min-Hsiung Hung,et al.  Development of an Ethernet-based equipment integration framework for factory automation , 2004 .

[9]  B. Vogel-Heuser,et al.  Modeling of Networked Automation Systems for simulation and model checking of time behavior , 2012, International Multi-Conference on Systems, Sygnals & Devices.

[10]  S. Seshadhri,et al.  Platooning over packet-dropping links , 2011 .

[11]  Ramakalyan Ayyagari,et al.  Advanced driver assistance system for AHS over communication links with random packet dropouts , 2014 .

[12]  Srini Ramaswamy,et al.  Adaptive regulator for networked control systems: MATLAB and true time implementation , 2013, 2013 25th Chinese Control and Decision Conference (CCDC).

[13]  Srini Ramaswamy,et al.  Adaptive LQR controller for Networked Control Systems subjected to random communication delays , 2013, 2013 American Control Conference.

[14]  R. Ayyagari,et al.  Hybrid Controllers for Systems with Random Communication Delays , 2009, 2009 International Conference on Advances in Recent Technologies in Communication and Computing.

[15]  S. Ruel,et al.  Finding the bounds of response time of networked automation systems by iterative proofs , 2009 .

[16]  Jean-Jacques Lesage,et al.  Analytic Calculus of Response Time in Networked Automation Systems , 2010, IEEE Transactions on Automation Science and Engineering.

[17]  Emanuele Carpanzano,et al.  Model-Checking based Verification approach for advanced Industrial Automation solutions , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[18]  Srini Ramaswamy,et al.  Hybrid Systems Approach for Networked Control Systems Subjected to Random Communication Delays , 2011 .

[19]  E. Tovar,et al.  Timeliness in COTS factory-floor distributed systems: what role for simulation? , 2004, IEEE International Workshop on Factory Communication Systems, 2004. Proceedings..

[20]  Georg Frey,et al.  Probabilistic delay time analysis in networked automation systems , 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.