Reference : An introduction to ET-LOTOS for the description of time-sensitive systems
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/23851
An introduction to ET-LOTOS for the description of time-sensitive systems
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 >]
1997
Computer Networks & ISDN Systems
Elsevier Science
29
3
271-292
Yes (verified by ORBi)
International
0169-7552
[en] Enhanced Timed-LOTOS, called ET-LOTOS, is an extension of LOTOS allowing the modelling of time-sensitive systems (i.e. systems whose behaviour is influenced by the passing of time). It is the basis of the timed extension of LOTOS currently developed by ISO (1995). The purpose of this paper is to present ET-LOTOS in a tutorial style and show its applicability. The detailed study of the formal semantics is addressed in another paper. A collection of small but realistic, examples illustrates a wide variety of time-sensitive protocol mechanisms. These examples are used to introduce and justify the extensions of our language. Finally, the basics of the formal semantics are given and a comparison is made with other timed formalisms.
Researchers
http://hdl.handle.net/2268/23851

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Restricted access
RUN-PP97-02.pdfPublisher postprint1.37 MBRequest copy

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.