Groupe OLC Outils Logiciels pour la Communication

Projet de Recherche

L'option -cray implémente une technique de compression des états internes RT-Lotos dans l'outil rtl.
Certains aspects de RT-Lotos ne sont pas encore pris en compte par cette fonctionnalité.

• On ne peut avoir de variable avec les opérateurs temporels :
  let t: nat = 10 in ... delay(t) ... latency(t) ... a{t}...

 Retour au projet RT-LOTOS