Complutense University Library

The Leader Election Protocol of IEEE 1394 in Maude

Verdejo López, José Alberto and Pita Andreu, María Isabel and Martí Oliet, Narciso (2001) The Leader Election Protocol of IEEE 1394 in Maude. Technical report, 118.01 . pp. 1-40.

[img]
Preview
PDF
311kB
View download statistics for this eprint

==>>> Export to other formats

Abstract

In this paper we consider three descriptions, at different abstract levels, of the
leader election protocol from the IEEE 1394 serial multimedia bus. The descriptions
are given using the language Maude based on rewriting logic. Particularly, the time
aspects of the protocol are studied. The descriptions are first validated by an exhaustive
exploration of all the possible behaviors and states reachable from an initial
configuration of a network, checking that always only one leader is chosen. The correctness
of the protocol is showed by a formal proof that the desirable properties of
the protocol are always fulfilled.

Item Type:Article
Uncontrolled Keywords:IEEE 1394 serial multimedia bus, protocols specification and verification, rewriting logic, Maude.
Subjects:Sciences > Mathematics > Logic, Symbolic and mathematical
ID Code:4879
Deposited On:19 May 2005
Last Modified:06 Feb 2014 07:42

Repository Staff Only: item control page