|Final Report of the COST-247 Action|
Firewire Tree Identify Protocol
|Dept of Computing Science & Mathematics|
|University of Stirling|
|Tel: +44 1786 467444|
|Fax: +44 1786 464551|
In formal methods we are always searching for new and interesting examples to which we can apply our techniques. In this talk I will introduce a case study based on the Philips "firewire". (More specifically, the tree identify protocol of a high performance serial multimedia bus (IEEE standard 1394)). The description, given using muCRL, is made in varying levels of detail and I show, using the cones and foci technique of Groote and Springintveldt that these different descriptions are all equivalent under branching bisimulation. I'll also talk about the techniques used, and make some observations about properties of the protocol.
This presentation has been given during the COST-247 Project Management Committee Meeting (Stirling, United Kingdom, October 13--14, 1997).
COST-247 Working Group(s): 1
Web Links : http://www.cs.stir.ac.uk/~ces
This Page was prepared by Mark Jorgensen.