A case study in abstraction using E-LOTOS and the FireWire

Carron Shankland and Alberto Verdejo

In Computer Networks 37, 481-502. Elsevier, 2001.

Abstract: The proposed ISO standard E-LOTOS is used to describe the leader election protocol of the IEEE 1394 serial multimedia bus (``FireWire''). The E-LOTOS language facilitates descriptions at several levels of abstraction, therefore a broad understanding of the protocol at an abstract level can be gained before adding more complexity and concrete detail. A secondary aim is to illustrate some of the novel features of E-LOTOS, particularly those for describing real time and parallelism. The specification process is described in some detail, paying particular attention to the general applicability of E-LOTOS to protocol description. Verification techniques and tools for E-LOTOS are considered, and comparisons are drawn between E-LOTOS and other similar formal methods.

  [pdf]

@Article{ShanklandVerdejo01,
  author =       {Carron Shankland and Alberto Verdejo},
  title =        {A case study in abstraction using {E-LOTOS} and the
                  {FireWire}},
  journal =      {Computer Networks},
  year =         2001,
  volume =       37,
  pages =        {481-502}
}