Improving Fault Tolerance in High-Precision Clock Synchronization

Gaderer, Georg; Loschmidt, Patrick; Sauter, Thilo

doi:10.1109/tii.2010.2044580

Cited by 45 publications

(14 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Jürgensen [11] has surveyed synchronization issues from the point of view of coding theory in real life communication systems. Synchronization is an important issue in network time protocol [12,13], where sharing of time information guaranties the correct internet system functioning. Most of real systems, natural or man-built, have no integrated reset or cannot be equipped with.…”

Section: Literature Reviewmentioning

confidence: 99%

Testing Experiments on Synchronized Petri Nets

Pocci

Demongodin

Giambiasi

et al. 2014

IEEE Trans. Automat. Sci. Eng.

View full text Add to dashboard Cite

Synchronizing sequences have been proposed in the late 60's to solve testing problems on systems modeled by finite state machines. Such sequences lead a system, seen as a black box, from an unknown current state to a known final one. This paper presents a first investigation of the computation of synchronizing sequences for systems modeled by synchronized Petri nets. In the first part of the paper, existing techniques for automata are adapted to this new setting. Later on, new approaches, that exploit the net structure to efficiently compute synchronizing sequences without an exhaustive enumeration of the state space, are presented. Note to practitionersDriving a system to a known state when its current state it is not known is a very important problem in many practical applications, such as checking communication protocols, part orienteers, digital reset circuit, etc. This topic has received a lot of attention in the past few decades. The classic approach to solve this problem considers systems modeled by automata. In particular a standard technique requires the computation of a synchronizing sequence, i.e., a sequence of inputs that drives the system to a unique final state independently of the initial state and does not require the observation of the system's outputs. This paper presents a first investigation on the computation of synchronizing sequences for systems modeled by synchronized Petri nets. Petri nets are a very intuitive model that is widely used in automation. Many analysis problems can be efficiently solved using Petri nets by taking into account the net structure, without an exhaustive enumeration of its state space. The techniques we propose for computing synchronizing sequences exploit the net structure and lead to viable algorithms that can be applied to large scale systems.

show abstract

Section: Literature Reviewmentioning

confidence: 99%

Testing Experiments on Synchronized Petri Nets

Pocci

Demongodin

Giambiasi

et al. 2014

IEEE Trans. Automat. Sci. Eng.

View full text Add to dashboard Cite

show abstract

“…PTP is natively a fault-tolerant protocol: only the faulty nodes are affected in the case of slave failures, whereas the BMC mechanism takes care of the automatic election of a new node when the current master breaks down. Unfortunately, more than 120 s may be required for the recovery when the sending period of Sync messages is set to 2 s. To improve reaction times, a redundancy mechanism that relies on an alternate master and a fast master selection scheme has been proposed in [31].…”

Section: Recent Advancesmentioning

confidence: 99%

Synchronize your watches: Part I: General-purpose solutions for distributed real-time control

Cena

Bertolotti

Scanzio

et al. 2013

EEE Ind. Electron. Mag.

View full text Add to dashboard Cite

“…As stated in [3], DER can no longer be treated as negative load; the complete integration of renewable energy sources will require distribution system operators to develop active network management in order to participate in the provision of system security. In this paper we will show the possibilities of Embedded Systems for integrating the protection, control and monitoring functions of Smart Grids within a synchronized framework [7].…”

Section: Introductionmentioning

confidence: 99%