ULg Research Unit in Networking RUN

Comment rendre LOTOS apte à spécifier des systèmes temps réel ?

G. Leduc1 and L. Léonard1

1 Research unit in Networking, EECS department, University of Liège, Belgium



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.


FDT, LOTOS, real time, specification language, timed-proces algebra

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - C. Soldani -
Still running IPv4 at: RUN | Montefiore | ULg
© 2000-2015.