Reference : Comment rendre LOTOS apte à spécifier des systèmes temps réel ?
Scientific congresses and symposiums : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/33753
Comment rendre LOTOS apte à spécifier des systèmes temps réel ?
French
Leduc, Guy mailto [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
Léonard, Luc [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
Sep-1993
Ingénierie des Protocoles
Dssouli, Rachida
Bochmann, Gregor
Hermès
407-425
No
Yes
International
Paris
France
CFIP'93
Sept. 1993
R. Dssouli, G. Bochmann
Montréal
Canada
[fr] Nous expliquons et justifions par des exemples notre proposition d'extension temporelle de LOTOS. Les exemples couvrent des fonctions de protocole et des facilités de service que l'on rencontre fréquemment en pratique ou qui en sont inspirés, tels que les temporisations, les chiens de garde, les délais, l'isochronisme, le multimédia, le contrôle de débit, ... La sémantique du langage est présentée ensuite et ses propriétés discutées de manière plus formelle. Nous pensons que l'application systématique des techniques formelles temporelles à ce type d'exemples est le passage obligé pour convaincre du bienfondé des choix de conception. L'efficacité pratique d'un formalisme est tout aussi importante que ses propriétés mathématiques associées.
[en] We explain and justify by examples our proposed timed extension of LOTOS. The examples cover protocol functions and service facilities that are frequently encountered in practice or are inspired by existing ones, such as timers, watchdogs, delays, isochronism, multimedia, rate control, ... The semantics of the language is presented after, and its properties discussed more formally. We think that the systematic application of formal temporal techniques to this kind of examples is unavoidable to convince of the pertinence of the design choices. The practical effectiveness of a formalism is as important as the associated mathematical properties.
Fonds de la Recherche Scientifique (Communauté française de Belgique) - F.R.S.-FNRS
Researchers
http://hdl.handle.net/2268/33753

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
RUN-PP93-02.pdfAuthor postprint219.07 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.