Christophe LOHR


Enseignant-chercheur
Dépt. Informatique

Téléphone : 02 29 00 14 05
Télécopie : 02 29 00 12 82
Courriel : christophe.lohr@telecom-bretagne.eu
TELECOM Bretagne
Vue aérienne

RT-LOTOS

RT-LOTOS

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).

The RT-LOTOS project was born at LAAS-CNRS. http://www.laas.fr/RT-LOTOS is the official web page of RT-LOTOS project.

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.

RT-LOTOS.0.12-3.tar.gz
A more stable version ChangeLog RT-LOTOS.0.12-3
RT-LOTOS.0.12-2.tar.gz
Port for gcc 4.0.3 ChangeLog RT-LOTOS.0.12-2
RT-LOTOS.0.12-1.tar.gz
Port of rtl for gcc 3.4.3 by Frederic Lang (Member of the VASY project at INRIA Rhone-Alpes) ChangeLog RT-LOTOS.0.12-1
RT-LOTOS.0.12.tar.gz
A local copy of the last official release

Complementary tools

Author: Christophe Lohr
Last modified: 2006-05-24 16:07

Technopôle Brest-Iroise - CS 83818 - 29238 Brest Cedex 3 - France
Tél : 33 (0)2 29 00 11 11 - Fax : 33 (0)2 29 00 10 00