|Research Unit in Networking|
and L. Léonard1
1 Research unit in Networking, EECS department, University of Liège, Belgium
AbstractWe 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.
KeywordsFDT, LOTOS, real time, specification language, timed-proces algebra
Editor: - G. Leduc -
Webmaster: - C. Soldani -
|Still running IPv4 at: 188.8.131.52...||