Transformations de spécifications incluant du contrôle en spécification flot de données pour implantation distribuée - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

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

Résumé

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.
Fichier principal
Vignette du fichier
msr05.pdf (151.48 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00413490 , version 1 (04-09-2009)

Identifiants

  • HAL Id : inria-00413490 , version 1

Citer

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. ⟨inria-00413490⟩
94 Consultations
198 Téléchargements

Partager

Gmail Facebook X LinkedIn More