Regular contribution: Verification of the Link layer protocol of the IEEE-1394 Serial bus (Fire Wire): an experiment with E-LOTOS

摘要

The IEEE-1394 Standard ("Fire Wire") de- scribes a high-speed serial bus for multimedia PCs in- tended to unify several serial buses such as VME, MULTI- BUS II, and FUTURE BUS. This paper deals with the Formal description of the LINK layer protocol of the IEEE- 1394 Standard in the formal description techniques E- LOTOS and LOTOS, and its subsequent verification using Model checking. The E-LOTOS descriptions are based On both the standard and the μCRL descriptions writ- Ten by Luttik.