By Topic

Design tool to express failure detection protocols

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $31
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
De Florio, V. ; Dept. of Math. & Comput. Sci., Univ. of Antwerp, Antwerp, Belgium ; Blondia, C.

Failure detection protocols - a fundamental building block for crafting fault-tolerant distributed systems - are in many cases described by their authors making use of informal pseudo-codes of their conception. Often these pseudo-codes use syntactical constructs that are not available in COTS programming languages such as C or C++. This translates into informal descriptions that call for ad hoc interpretations and implementations. Being informal, these descriptions cannot be tested by their authors, which may translate into insufficiently detailed or even faulty specifications. This study tackles this problem by introducing a formal syntax for those constructs and a C library that implements them - a tool set to express and reason about failure detection protocols. The resulting specifications are longer but non-ambiguous, and eligible for becoming a standard form.

Published in:

Software, IET  (Volume:4 ,  Issue: 2 )