Finding the bounds of response time of networked automation systems by iterative proofs

Ruel, Silvain; Smet, Olivier de; Faure, Jean-Marc

doi:10.3182/20090603-3-ru-2001.0063

Cited by 8 publications

(4 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…to test specific scenarios against exhaustive verification offered by model checking. The model-checking methods proposed in [7] and [8] lack the support of modelling framework and therefore, are restricted to specific architecture or scenarios. Vogel-Heuser et al [9] presented a component oriented modelling approach that captures the timing requirements and specifications to verify response time in NAS.…”

Section: Introductionmentioning

confidence: 99%

Verifying Response Times in Networked Automation Systems Using Jitter Bounds

Srinivasan

Buonopane

Ramaswamy

et al. 2014

2014 IEEE International Symposium on Software Reliability Engineering Workshops

View full text Add to dashboard Cite

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.

show abstract

Section: Introductionmentioning

confidence: 99%

Verifying Response Times in Networked Automation Systems Using Jitter Bounds

Srinivasan

Buonopane

Ramaswamy

et al. 2014

2014 IEEE International Symposium on Software Reliability Engineering Workshops

View full text Add to dashboard Cite

show abstract

“…So, the evaluation of its time performances like the response time is complex and the investigations that deal with this problem are rare. The existing methods are often studies of particular systems based on model checking (Greifeneder and Frey, 2007;Witsch et al, 2006;Ruel et al, 2009) that suffers from the classical state explosion problem. Another method is based on high level colored Petri nets simulation (Marsal et al, 2006;Zaitsev, 2004).…”

Section: Introductionmentioning

confidence: 99%

Genetic algorithms for delays evaluation in networked automation systems

Addad

Amari

Lesage

2011

Engineering Applications of Artificial Intelligence

View full text Add to dashboard Cite

a b s t r a c tIn this paper, we present an approach to evaluate end-to-end delays in packets switching networked automation systems. Since Client-Server paradigm is considered for communication between the field devices, the existing methods of network delays evaluation are hardly applicable to assess realistic upper bounds of these delays. In an effort to enhance these delays evaluation, we propose an alternative method. Two algorithms, usually used for optimization problems, exhaustive and genetic algorithms, are then developed to achieve this purpose. While a formal proof about the capacity of the former one to ensure the worst delay overestimation is given, the latter proves to provide faster and more accurate results at the same time. This is shown on a practical case study while comparing the results of the two methods.

show abstract

“…It should be also emphasized that this work constitutes a prerequisite for the evaluation of the time performances of the operational architecture. The results obtained in this field by using simulation techniques ( [3], [4], [5]), formal verification [6], or algebraic approaches [7], assume indeed that the processing times of the controllers are known, which of course requires that all functions have been previously assigned.…”

Section: Introductionmentioning

confidence: 99%