Abstract:

A case study is proposed for the assessment of timed FDTs. 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, but they have been (over)simplified to focus the case study on the timing constraints. - Temporal modelling facilities: 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, not all the possible timed behaviours that may exist in protocols are explored, but a broad spectrum of them is covered.