The RT-LOTOS (Real-Time LOTOS) language makes it possible to formally describe systems subject to time constraints. It is a process algebra language. It extends the LOTOS language by temporal operators (time, latency, time limited offering).
RT-LOTOS language is mainly supported by the rtl tool, developped in 1997. The last official release compiles with gcc-2.95. This page summaries efforts to port rtl to current gcc version.
Please note that following source codes was not tested as much as I would wish... Use it at your own risks.
Author: Christophe Lohr
Last modified: 2006-05-24 16:07