Supported by BCS Specialist Group Formal Aspects of Computing Science Formal Methods Europe
Our goal is to create a comparative case study based around the protocols of the IEEE standard 1394 High Performance Serial Bus (reference IEEE 1394-1995 and the supplement IEEE 1394a-2000). The workshop provided a forum for researchers and practitioners from industry and academia to discuss both completed work and work in progress related to formal specification, validation and verification of components of the IEEE 1394 High Performance Serial Bus. Now we're calling for papers for a special issue of Formal Aspects of Computing Science. The call is mainly addressed to those who presented an abstract at the workshop, but is also open to others.
The IEEE standard describes the bus in 3 layers (physical, link and transaction) and splits each layer into various phases, each of which encompasses a number of protocols. The main focus of the workshop will be the Tree Identify Protocol of the Bus Reset phase of the physical layer. Participants are encouraged to consider the problems of formalising and analysing this protocol. More details about this protocol are available here. In addition, we have obtained permission to reprint those sections of the IEEE standard and supplement directly related to the Tree Identify Protocol. Contact us with your postal address for a copy.
The workshop is not restricted to the Tree Identify Protocol as there are many other components of the 1394 standard which are also amenable to formal description and analysis. For example, parts of the link layer have been formally specified. Also, there are ongoing standardisation development projects based around the 1394. For example, P1394b (a faster version of 1394), P1394.1 (bus bridges), and P1394.3 (peer to peer data transport protocol). Formal descriptions of any aspect of the 1394 standard and associated developments may be submitted for inclusion in the workshop.
You may find it helpful to consult the full standard 1394-1995 as well as the supplement 1394a-2000. We have negotiated a special arrangement with IEEE for bulk ordering at substantially reduced cost (half normal non IEEE member price). Contact us to find out more. You may also wish to visit the IEEE standards site.
You are invited to submit a full paper on formalising and
analysing some aspect of the IEEE 1394 Standard. Preference will be
given to those works detailing some analysis of the system as well as a
The document should adhere to the style requirements of
'Formal Aspects of Computing'.
For your convenience, you can download the appropriate LaTeX
style files and guides:
Maximum page length (in this style) is 12 pages.
Note: most of the workshop papers were concerned with some aspect of the Tree Identify Protocol, therefore, we will supply an introductory paper describing the 1394 Standard in general, and the Tree Identify Protocol in particular. You should not give a general description of these things in your own paper. Download a draft of the introductory paper. If you feel there is something missing, let us know.
Submission should be made electronically to firstname.lastname@example.org. We accept pdf or postscript submissions.
Computing Science Department, University of Nijmegen.