Reference : The Tick-Tock Case Study for the Assessment of Timed FDT's
Parts of books : Contribution to collective works
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/33729
The Tick-Tock Case Study for the Assessment of Timed FDT's
English
Léonard, Luc [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
Leduc, Guy mailto [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
Danthine, André [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > >]
1994
The OSI95 Transport Service with Multimedia Support
Springer
338-352
[en] 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.
Researchers
http://hdl.handle.net/2268/33729

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
RUN-PP94-13.pdfAuthor postprint175.24 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.