Can I read A Lightweight Method for Automated Design of Convergence in Network Protocols on EtoBox?

A Lightweight Method for Automated Design of Convergence in Network Protocols by Aly Farahat; Ali Ebnenasir is a Computer Science article available to read on EtoBox.

What is A Lightweight Method for Automated Design of Convergence in Network Protocols about?

Design and verification of Self-Stabilizing (SS) network protocols are difficult tasks in part because of the __convergence__ property that requires an SS protocol to recover to a set of legitimate states from __any__ state in its state space. Once an SS protocol reaches a legitimate state, it remains in the set of legitimate states as long as there are no faults, called the __closure__ property. Distribution issues exacerbate the design complexity of SS protocols as processes should collaborate and take local actions that result in global convergence. Most existing design techniques are manual, and mainly focus on protocols whose global state can be corrected if the local states of all processes are corrected, called the __locally correctable__ protocols. After manual design, an SS protocol has to be verified for closure and convergence. Previous work observes that verifying SS protocols is a harder problem than designing them as developers have to ensure the correctness of closure and convergence functionalities and their noninterference. An algorithmic method for the design of convergence generates protocols that are correct by construction, thereby eliminating the need for veri

Who reads A Lightweight Method for Automated Design of Convergence in Network Protocols?

Author

Aly Farahat; Ali Ebnenasir

Publisher

ACM

Published

2012

Language

EN

Field

Computer Science (Physical Sciences)