L'équipe ProVal s'est arrêtée à la fin août 2012, et renaît en une nouvelle équipe
Toccata
Ces pages n'évoluent plus, suivez le lien ci-dessus pour les informations à
jour sur notre équipe.
Langages synchrones
Présentation
Les activités de recherche poursuivies par l'axe «Langages synchrones» sont tournées autour de la conception et de la réalisation de langages dédiés à la programmation de systèmes embarqués. Ces langages reposent à la fois sur le modèle de concurrence synchrone et les principes des langages fonctionnels.
Les activités de recherche de l'axe «Langages synchrones» se déroulent actuellement dans l'équipe Parkas du Département d'Informatique de l'École Normale Supérieure.
Développement de logiciel
- Lucid Synchrone : un langage synchrone flot de données synchrone combiné avec des traits des langages ML.
- ReactiveML : une extension du langage OCaml avec des nouvelles constructions issues du modèle synchrone réactif.
Contrats
- Projet ANR - DEFIS Partout
- Actions d'Envergure de l'INRIA - Synchronics
Publications liées à la thématique
- Albert Benveniste, Benoit Caillaud, and Marc Pouzet. The fundamentals of hybrid systems modelers. In 49th IEEE International Conference on Decision and Control (CDC'10), December 2010.
- Louis Mandel, Florence Plateau, and Marc Pouzet. Lucy-n: a n-Synchronous Extension of Lustre. In 10th International Conference on Mathematics of Program Construction (MPC'10), June 2010.
- Marc Pouzet and Pascal Raymond. Modular Static Scheduling of Synchronous Data-flow Networks: An efficient symbolic representation. Journal of Design Automation for Embedded Systems, 2010. Special issue of selected papers from Embedded System Week.
- Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, and Pascal Raymond. Synchronous objects with scheduling policies: Introducing safe shared memory in Lustre. In ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'09), June 2009.
- Albert Cohen, Louis Mandel, Florence Plateau, and Marc Pouzet. Abstraction of Clocks in Synchronous Data-flow Systems. In The Sixth ASIAN Symposium on Programming Languages and Systems (APLAS'08), December 2008.
- Darek Biernacki, Jean-Louis Colaco, Grégoire Hamon, and Marc Pouzet. Clock-directed modular code generation of synchronous data-flow languages. In ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), June 2008.
- Gwenaël Delaval, Alain Girault, and Marc Pouzet. A type system for the automatic distribution of higher-order synchronous dataflow programs. In ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'08), June 2008.
- Louis Mandel and Florence Plateau. Interactive programming of reactive systems. In Model-driven High-level Programming of Embedded Systems (SLA++P'08), April 2008.
