Universidad Complutense de Madrid
E-Prints Complutense

The Leader Election Protocol of IEEE 1394 in Maude


Downloads per month over past year




Downloads per month over past year

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.

[thumbnail of 04-TR-118-01-fw.pdf]


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

Origin of downloads

Repository Staff Only: item control page