A Survey of Formal Methods Applied to Leader Election in IEEE 1394

Savi Maharaj (University of Stirling, United Kingdom)

Carron Shankland (University of Stirling, United Kingdom)

Abstract: We present a survey of formal specification techniques applied to the Tree Identify Protocol of the IEEE 1394 High Performance Serial Bus 1 . Specifications written in a variety of formalisms are compared with regard to a number of criteria including expressiveness, readability, standardisation, and level of analysis.

Keywords: comparative case study, concurrency, formal methods, leader election protocol, networks, standards

Categories: D.2.1, F.3.1