Transformations de spécifications incluant du contrôle en spécification flot de données pour implantation distribuée

Nicolas Pernet 1 Yves Sorel 1
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
Abstract : Parce qu'un systèmes temps réel combine fonctionnalités de contrôle et traitement de données, il est souvent spécifié à l'aide de plusieurs langages adaptés à ces deux aspects. La plupart de ces systèmes étant aujourd'hui distribués le problème est ensuite d'obtenir une implantation de ces spécifications distinctes. En effet une distribution de ces spécifications par production séparée de code ne permet pas d'obtenir une implantation cohérente. Nous proposons donc d'unifier toutes les spécifications en une seule. Cette unification conduit à un graphe flot de données conditionné qui explicite le parallélisme potentiel nécessaire à une exploitation efficace des ressources distribuées. Enfin on utilise le logiciel SynDEx pour obtenir automatiquement une implantation distribuée et cohérente à partir de la spécification obtenue. ABSTRACT. Because a real-time system combines control and data processing designers specify it using different languages. Such systems are often distributed and the problem is to obtain a distributed implementation from these distinct specifications. Indeed, the method based on separated code generation and manual distribution leads to incoherent implementation. We propose to unify all these specifications into a unique one. The resulting specification is a conditioned data flow graph which exhibits the potential parallelism necessary to an efficient use of distributed resources. Finally, we use the SynDEx software in order to automatically produce a distributed and coherent implementation from the resulting specification.
Type de document :
Communication dans un congrès
Actes de la Conférence Modélisation des Systèmes Réactifs, MSR'05, 2005, Grenoble, France. 2005
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00413490
Contributeur : Nicolas Pernet <>
Soumis le : vendredi 4 septembre 2009 - 11:54:49
Dernière modification le : jeudi 11 janvier 2018 - 16:14:46
Document(s) archivé(s) le : mardi 15 juin 2010 - 19:43:41

Fichier

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

Identifiants

  • HAL Id : inria-00413490, version 1

Collections

Citation

Nicolas Pernet, Yves Sorel. Transformations de spécifications incluant du contrôle en spécification flot de données pour implantation distribuée. Actes de la Conférence Modélisation des Systèmes Réactifs, MSR'05, 2005, Grenoble, France. 2005. 〈inria-00413490〉

Partager

Métriques

Consultations de la notice

195

Téléchargements de fichiers

114