The LUSTRE-ESTEREL portable format

Abstract

The real-time synchronous languages LUSTRE and ESTEREL can both be compiled into finite state automata. These automata are coded in a common format, the LUSTRE-ESTEREL portable format, which allows efficient translation into various target languages, e.g., C, ADA, EMC, etc., using appropriate post-processors. This article describes that format.

BibTeX entry

@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}
}