Temporal Refinement for Lustre - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

Temporal Refinement for Lustre

Jan Mikac
  • Function : Author
  • PersonId : 831489
Paul Caspi
  • Function : Author
  • PersonId : 832093


This paper proposes a refinement calculus for Lustre. First a very general calculus is provided, which ensures correctness and reactivity for a large class of systems. Then, this calculus is adapted to provide oversampling and temporal refinement. We obtain thus an effective calculus for Lustre, which allows us to refine both computations and time. We illustrate its use on a small example and conclude by proposing some future research perspectives.
Fichier principal
Vignette du fichier
refinement7.pdf (272.07 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00466172 , version 1 (22-03-2010)


  • HAL Id : inria-00466172 , version 1


Jan Mikac, Paul Caspi. Temporal Refinement for Lustre. International Workshop on Synchronous Languages, Applications and Programs, Apr 2005, Edinbourgh, United Kingdom. ⟨inria-00466172⟩
181 View
166 Download


Gmail Facebook X LinkedIn More