Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures

Dumitru Potop-Butucaru 1 Akramul Azim 2 Sebastian Fischmeister 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
Résumé : Nous proposons une technique pour la synthèse automatique de programmes et ordonnancements pour des systèmes temps-réel (embarqués) distribués, à partir de spécifications synchrones flot de données.
Type de document :
Communication dans un congrès
International Conference on Embedded Software (EMSOFT), Oct 2010, Scottsdale, AZ, United States. ACM, pp.199-208, 2010, <10.1145/1879021.1879048>
Liste complète des métadonnées

https://hal.inria.fr/inria-00544665
Contributeur : Dumitru Potop-Butucaru <>
Soumis le : mercredi 8 décembre 2010 - 16:10:38
Dernière modification le : mardi 14 décembre 2010 - 11:08:36
Document(s) archivé(s) le : lundi 5 novembre 2012 - 12:40:38

Fichier

final-version.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister. Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures. International Conference on Embedded Software (EMSOFT), Oct 2010, Scottsdale, AZ, United States. ACM, pp.199-208, 2010, <10.1145/1879021.1879048>. <inria-00544665>

Partager

Métriques

Consultations de
la notice

195

Téléchargements du document

92