Search | Science Publications

Research ArticleOpen accessIn the keywordsFormal Analysis of Fault-tolerant Algorithm in the Time-triggered ArchitectureAliouat Zibouda, Aliouat Makhlouf, Batouche ChawkiTime-Triggered architecture (TTA) provides a computing infrastructure for the design and implementation of dependable distributed systems. The core building block of the TTA is the communication protocol TTP/C. This protocol has been designed to provide no faulty nodes. TTP/C integrates a set of fault-tolerant services like: message transmissions, clocks synchronization and Group Membership Protocol (GMP). The GMP protocol ensures that … …Journal of Computer Science, Vol. 3, Issue 1 · 31 Jan 2007 · 6,647 accessesView PDF Cite

1 article for “GMP”