next up previous

Final Report of the COST-247 Action

The Tick-Tock Case Study for the Assessment of Timed Formal Description Techniques

L. Léonard, G. Leduc, A. Danthine

Institut d'Electricité Montefiore, B28
University of Liège
B-4000, Liège 1, Belgium
Tel: +32 4 3662698
Fax: +32 4 3662989


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.

This presentation has been given during the COST-247 WG1 Special Workshop on Extended Process Algebras (Brighton, United Kingdom, July 19--20, 1994).

COST-247 Working Group(s): 1

Web Link to paper :

Web link to the research group :

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page