IEEE 1394 Specifications and Analyses

There are also descriptions of other parts of the standard:

L. Kühne, J. Hooman and W.P. de Roever. Towards Mechanical Verification of Parts of the IEEE P1394 Serial Bus. In Proc. Workshop on Applied Formal Methods in System Design, pages 73-85, 1997.

S.P. Luttik. Description and formal specification of the Link Layer of P1394, Technical report SEN-R9706, CWI, 1997.

M. Sighireanu and R. Mateescu. Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): an Experiment with E-LOTOS. Springer International Journal on Software Tools for Technology Transfer (STTT), 2(1):68-88, 1998.

Have we missed out your formal specification/analysis of 1394? Contact us and we'll update the page.


Quick links:
IEEE 1394 Workshop
FME 2001
Last revision: 21st August 2000.