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 |
Email: leduc@montefiore.ulg.ac.be |
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 : http://www-run.montefiore.ulg.ac.be/publications/papers/abstract-R94-07.html
Web link to the research group : http://www-run.montefiore.ulg.ac.be
This Page was prepared by Mark Jorgensen.