The Tick-Tock Case Study for the Assessment of Timed FDT's

The initial purpose of this paper was to design a case study to assess LOTOS-T [MFV93] which is a temporal extension of LOTOS developed within the ESPRIT II OSI95 project. However, we think that it can be useful for any proposed timed FDT.
It consists of a protocol composed of two entities and an underlying service provider, whose behaviour is mainly based on various timing constraints such as time-out, isochronism, rate-control,...
The selection of the mechanisms was guided by the two following characteristics:
Realism: the selected mechanisms have been inspired by similar and existing protocol mechanisms or service facilities, even if we have tried to (over)simplify them in order to focus the case study on the timing constraints.
Temporal modelling facilities: this means that the specificity and the variety of the timing constraints are intended to assess whether timed FDTs have enough power and flexibility to tackle a maximum number of aspects of timed behaviours. Of course, we do not pretend to have explored all possible timed behaviours which may exist in protocols. We have simply tried to cover a broad spectrum of them.