| HAL : hal-00546676, version 1 |
| Fiche détaillée | Récupérer au format |
|
|
| Intensional Programming II (Based on the Papers at ISLIP '99), Manolis Gergatsoulis and Panos Rondogiannis (Ed.) (2000) 149-167 |
|
|
|
|
| Design of a Multi-formalism Application and Distribution in a Data-flow Context: An Example |
|
|
| Loïc Besnard 1Patricia Bournai 1 |
|
|
| (2000) |
|
|
| This paper describes a multi-formalism experiment design in the domain of real-time control systems. It uses several synchronous languages on a case studu which is a realistic industrial example. Co-simulation is provided through the use of a common format, and automatic distributed code generation is experimented in the context of the graphical environment of the data-flow language Signal. |
|
|
|
|
|
|
|
|
|
|
| 1 : | EP-ATR (INRIA - IRISA) |
| INRIA – CNRS : UMR6074 – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1 | |
| 2 : | VERIMAG (VERIMAG - IMAG) |
| CNRS : UMR5104 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG) | |
| 3 : | Department of Computer and Information Science - Linköping University |
| Linköping University | |
| 4 : | ORION (INRIA Sophia Antipolis) |
| INRIA | |
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Systèmes embarqués |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|
|
| hal-00546676, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00546676 | |
| oai:hal.archives-ouvertes.fr:hal-00546676 | |
| Contributeur : Thierry Gautier | |
| Soumis le : Mardi 14 Décembre 2010, 15:16:41 | |
| Dernière modification le : Mercredi 5 Janvier 2011, 15:07:38 | |