Biblioteca de la Universidad Complutense de Madrid

The Leader Election Protocol of IEEE 1394 in Maude


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

Vista previa


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.

Tipo de documento:Artículo
Palabras clave:IEEE 1394 serial multimedia bus, protocols specification and verification, rewriting logic, Maude.
Materias:Ciencias > Matemáticas > Lógica simbólica y matemática
Código ID:4879
Depositado:19 May 2005
Última Modificación:06 Feb 2014 07:42

Sólo personal del repositorio: página de control del artículo