Specification and Design of the Leader Election Protocol of IEEE 1394

Jean-Raymond Abrial Dominique Cansell 1 Dominique Méry 1
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This document is intended to contain a progress report on what we have done so far on the specification and design the Leader Election Protocol of IEEE 1394. We have used the B Method and the corresponding tool, Atelier B. Within the B Method, we have used, so-called, Event Driven Approach.
keyword : méthode b b method incremental development teorem proving développement incrémental preuves ieee 1394
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/inria-00100598
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 2:48:01 PM
Last modification on : Thursday, September 19, 2019 - 5:00:04 PM

Identifiers

  • HAL Id : inria-00100598, version 1

Collections

INRIA | CNRS | LORIA | UNIV-LORRAINE

Citation

Jean-Raymond Abrial, Dominique Cansell, Dominique Méry. Specification and Design of the Leader Election Protocol of IEEE 1394. IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, 2001, Berlin, Germany, 3 p. ⟨inria-00100598⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

194

Contact


archive-ouverte@inria.fr