Implementing a Clock Synchronization Protocol on a Multi-Master Switched Ethernet Network

Ashjaei, MohammadMälardalens högskola,Inbyggda system,IS (Embedded Systems) (författare)

The interest to use Switched Ethernet technologies in real-time communication is increasing due to its absence of collisions when transmitting messages. Nevertheless, using COTS switches affect the timeliness guarantee inherent in potentially overflowing internal FIFO queues. In this paper we focus on a solution, called the FTT-SE protocol, which is developed based on a master-slave technique. Recently, an extension of the FTT-SE protocol has been proposed where the transmission of messages are controlled using multiple master nodes. In order to guarantee the correctness of the protocol, the masters should be timely synchronized. Therefore, in this paper we investigate using a clock synchronization protocol, based on the IEEE 1588 standard, among master nodes and we study the effects of this protocol on the network performance. In addition, we present a formal verification of this solution by means of model checking to prove the correctness of the FTT-SE protocol when the clock synchronization protocol is applied.

Behnam, MorisMälardalens högskola,Inbyggda system,IS (Embedded Systems)(Swepub:mdh)mbm02 (författare)
Rodriguez-Navas, GuillermoMälardalens högskola,Inbyggda system,Universitat de les Illes Balears, Spain,IS (Embedded Systems)(Swepub:mdh)grs01 (författare)
Nolte, ThomasMälardalens högskola,Inbyggda system,IS (Embedded Systems)(Swepub:mdh)tne01 (författare)
Mälardalens högskolaInbyggda system (creator_code:org_t)

Av författaren/redakt...: Ashjaei, Mohamma ...; Behnam, Moris; Rodriguez-Navas, ...; Nolte, Thomas

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.