Le format portable LUSTRE-ESTEREL

Résumé

Les langages temps-réel synchrones LUSTRE et ESTEREL peuvent tous deux être compilés vers des automates d'états finis. Ces automates sont codés dans un format commun, le format portable LUSTRE-ESTEREL, qui permet une traduction efficace vers divers langages cibles, comme C, ADA, EMC, etc., grâce à des post-processeurs correspondants. Cet article décrit ce format.

Entrée BibTeX

@Manual{OC,
  title = 	 {The LUSTRE-ESTEREL portable format},
  author =	 {J.A. Plaice and J.-B. Saint},
  organization = {INRIA, CMA},
  address =	 {Sophia Antipolis, France},
  year =	 {1987},
  month =	 {September},
  note =	 {unpublished report}
}