Compilation of Polychronous Data Flow Equations

Loïc Besnard 1 Thierry Gautier 1 Paul Le Guernic 1 Jean-Pierre Talpin 1
1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Chapter 1, on the "Compilation of Polychronous Data-Flow Equations", gives a thorough presentation of the program analysis and code generation techniques present in Polychrony, a compiler for the data-flow synchronous language Signal. Introduced in the late 1980s, Signal and its polychronous model of computation stand among the most developed concepts of synchronous programming. It allows to model concurrent embedded software architectures using high-level multi-clocked synchronous data-flow equations. The chapter defines the formal methodology consisting of all required program analysis and transformation techniques to automatically generate the sequential or concurrent code suiting the targer architecture (embedded or distributed) or compilation goals (modularity or performance).
Type de document :
Chapitre d'ouvrage
Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software, Springer, pp.1-40, 2010, 978-1-4419-6399-4. 〈10.1007/978-1-4419-6400-7_1〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00540493
Contributeur : Thierry Gautier <>
Soumis le : lundi 29 novembre 2010 - 10:58:18
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : samedi 3 décembre 2016 - 01:39:01

Fichier

signalChapter-Springer-2010.pd...
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Loïc Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Compilation of Polychronous Data Flow Equations. Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software, Springer, pp.1-40, 2010, 978-1-4419-6399-4. 〈10.1007/978-1-4419-6400-7_1〉. 〈inria-00540493〉

Partager

Métriques

Consultations de la notice

401

Téléchargements de fichiers

279