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.
Type de document :
Communication dans un congrès
F. Maraninchi and M. Pouzet and V. Roy. International Workshop on Synchronous Languages, Applications and Programs, Apr 2005, Edinbourgh, United Kingdom. Elsevier Science Publishers, 2005, Proceedings of Synchronous Languages, Applications, and Programming (SLAP'05)
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00466172
Contributeur : Jan Mikac <>
Soumis le : lundi 22 mars 2010 - 21:21:48
Dernière modification le : jeudi 11 janvier 2018 - 06:14:33
Document(s) archivé(s) le : lundi 28 juin 2010 - 16:23:09

Fichier

refinement7.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00466172, version 1

Collections

IMAG | UGA

Citation

Jan Mikac, Paul Caspi. Temporal Refinement for Lustre. F. Maraninchi and M. Pouzet and V. Roy. International Workshop on Synchronous Languages, Applications and Programs, Apr 2005, Edinbourgh, United Kingdom. Elsevier Science Publishers, 2005, Proceedings of Synchronous Languages, Applications, and Programming (SLAP'05). 〈inria-00466172〉

Partager

Métriques

Consultations de la notice

213

Téléchargements de fichiers

97