Prelude: Lustre with real-time constraints
1 : ONERA
ONERA
2 : Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Ecole Centrale de Lille, Institut National de Recherche en Informatique et en Automatique, Institut Mines-Télécom [Paris], Université de Lille, Centre National de la Recherche Scientifique : UMR9189
Context: programming multi-periodic systems
Language: specifying real-time constraints
Compiler: generating multi-task C code
- Poster