Verifying Response Times in Networked Automation Systems Using Jitter Bounds

Abstract

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

On simulating processor schedules and network protocols within CPS using TrueTime

“…Formal models based on timed-automata for modeling the timing interfaces and then verified the timing performances 978-1-4799-7849-6/15/$31.00 ©2015 IEEE using UPPAAL [31] have been studied in [3,19]. Sreram [9] presented a simultaneous co-design and verification approach which utilizes the UPPAAL tool to verify the timed automata of a system having heterogeneous components.…”