Skip to Main content Skip to Navigation
Conference papers

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, Laboratoire I3S - 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.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/inria-00413490
Contributor : Nicolas Pernet <>
Submitted on : Friday, September 4, 2009 - 11:54:49 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM
Document(s) archivé(s) le : Tuesday, June 15, 2010 - 7:43:41 PM

File

msr05.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨inria-00413490⟩

Share

Metrics

Record views

300

Files downloads

261