From concurrent multi-clock programs to concurrent multi-threaded implementations

Virginia Papailiopoulou 1 Dumitru Potop-Butucaru 1 Yves Sorel 1 Robert De Simone 1 Loic Besnard 2 Jean-Pierre Talpin 2
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
2 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
Résumé : On présente dans ce rapport une nouvelle technique pour l'implantation concurrente de spécifications multi-horloges. A partir de programmes écrits en langages synchrones comme Signal/Polychrony ou Esterel, on fournit des structures de données compactes et des algorithmes efficaces pour l'analyse du programme selon la théorie des systèmes faiblement endochrones (weakly endochronous systems). Les exécutifs multi-thread qui sont générés par la technique proposée produisent des implantations déterministes en conservant la concurrence de la spécification originale.
Type de document :
Rapport
[Research Report] RR-7577, INRIA. 2011, pp.22
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00578585
Contributeur : Virginia Papailiopoulou <>
Soumis le : lundi 11 juillet 2011 - 14:53:18
Dernière modification le : vendredi 25 mai 2018 - 12:02:04
Document(s) archivé(s) le : mercredi 12 octobre 2011 - 02:23:42

Fichiers

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

Identifiants

  • HAL Id : inria-00578585, version 2

Citation

Virginia Papailiopoulou, Dumitru Potop-Butucaru, Yves Sorel, Robert De Simone, Loic Besnard, et al.. From concurrent multi-clock programs to concurrent multi-threaded implementations. [Research Report] RR-7577, INRIA. 2011, pp.22. 〈inria-00578585v2〉

Partager

Métriques

Consultations de la notice

551

Téléchargements de fichiers

189