Skip to Main content Skip to Navigation
Conference papers

Temporal Refinement for Lustre

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/inria-00466172
Contributor : Jan Mikac Connect in order to contact the contributor
Submitted on : Monday, March 22, 2010 - 9:21:48 PM
Last modification on : Tuesday, October 19, 2021 - 1:48:08 PM
Long-term archiving on: : Monday, June 28, 2010 - 4:23:09 PM

File

refinement7.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00466172, version 1

Collections

Citation

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

Share

Metrics

Record views

172

Files downloads

137