| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Présentation des résultats du projet OpenEmbeDD
Charles André
1
Mariano Belaunde
2
Bernard Berthomieu
3
Christian Brunette
4
Agusti Canals
5
Hubert Garavel
6
Susanne Graf
7
Frederic Lang
6
Vincent Mahé
8
Michel Nakhlé
5
Rémi Schnekenburger
9
Robert de Simone
1
Jean-Pierre Talpin
4
François Vernadat
3
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
4
ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
6
VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
8
TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Charles André 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Mariano Belaunde 2
Author Employer institution : Orange Labs
Bernard Berthomieu 3
Author Employer institution : Équipe Verification de Systèmes Temporisés Critiques IdHAL : bernard-berthomieu ORCID : https://orcid.org/0000-0001-9895-0052
Christian Brunette 4
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Agusti Canals 5
Author Employer institution : C-S
Hubert Garavel 6
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : hubert-garavel
Susanne Graf 7
Author IdHAL : susanne-graf
Frederic Lang 6
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : frederic-lang
Vincent Mahé 8
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Michel Nakhlé 5
Author Employer institution : C-S
Rémi Schnekenburger 9
Author Employer institution : Commissariat à l'énergie atomique et aux énergies alternatives
Robert de Simone 1
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : rdesimone ORCID : https://orcid.org/0000-0002-3123-7591
Jean-Pierre Talpin 4
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : jean-pierretalpin ORCID : https://orcid.org/0000-0002-0556-4265
François Vernadat 3
Author Employer institution : Équipe Verification de Systèmes Temporisés Critiques IdHAL : francois-vernadat
1
AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints (France)
- CRISAM - Inria Sophia Antipolis - Méditerranée (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Inria Paris-Rocquencourt (INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S
CS 40121
06903 Sophia Antipolis Cedex - France)
- I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis - France)
- UNS - Université Nice Sophia Antipolis (... - 2019) (Parc Valrose - BP 2135 - 06103 Nice cedex 2 - France)
- COMUE UCA - COMUE Université Côte d'Azur (2015 - 2019) (Parc Valrose, 28 avenue Valrose 06108 Nice Cedex 2 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7271 (France)
- UCA - Université Côte d'Azur (Parc Valrose, 28 avenue Valrose 06108 Nice Cedex 2 - France)
- UNS - Université Nice Sophia Antipolis (... - 2019) (Parc Valrose - BP 2135 - 06103 Nice cedex 2 - France)
- I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis - France)
2
Orange Labs R&D [Rennes] (4 rue du Clos Courtel, 35112 Cesson-Sévigné Cedex, France - France)
- France Télécom (France)
3
LAAS - Laboratoire d'analyse et d'architecture des systèmes (7 Av du colonel Roche 31077 TOULOUSE CEDEX 4 - France)
- UT1 - Université Toulouse 1 Capitole (2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 - France)
- INSA Toulouse - Institut National des Sciences Appliquées - Toulouse (135, avenue de Rangueil - 31077 Toulouse cedex 4 - France)
- UT2J - Université Toulouse - Jean Jaurès (5 allées Antonio Machado - 31058 Toulouse Cedex 9 - France)
- UT3 - Université Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
- CNRS - Centre National de la Recherche Scientifique : UPR8001 (France)
- Toulouse INP - Institut National Polytechnique (Toulouse) (France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
4
ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems (Campus de Beaulieu 35042 Rennes cedex - France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Campus universitaire de Beaulieu - 35042 Rennes - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- Inria Rennes – Bretagne Atlantique (Campus de beaulieu
35042 Rennes cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
6
VASY - System validation - Research and applications (655, avenue de l'Europe 38330 Montbonnot - France)
- Inria Grenoble - Rhône-Alpes (Inovallée
655 avenue de l'Europe
38330 Montbonnot - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- LIG - Laboratoire d'Informatique de Grenoble (UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères
Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France
Tél. : 04 57 42 14 00 - France)
- UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France)
- UPMF - Université Pierre Mendès France - Grenoble 2 (BP 47 - 38040 Grenoble Cedex 9 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5217 (France)
- INPG - Institut National Polytechnique de Grenoble (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
7
VERIMAG - IMAG - VERIMAG (Verimag
Bâtiment IMAG
Université Grenoble Alpes
700, avenue centrale
38401 Saint Martin d’Hères
France - France)
- UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France)
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- INPG - Institut National Polytechnique de Grenoble (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5104 (France)
8
TRISKELL - Reliable and efficient component based software engineering (Campus de Beaulieu, 35042 Rennes cedex - France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Campus universitaire de Beaulieu - 35042 Rennes - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- Inria Rennes – Bretagne Atlantique (Campus de beaulieu
35042 Rennes cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
9
LIST - Laboratoire d'Intégration des Systèmes et des Technologies (DRT/LIST
Nano-INNOV
Avenue de la Vauve
91120 Palaiseau
- France)
- DRT (CEA) - Direction de Recherche Technologique (CEA) : DRT/LIST (France)
- CEA - Commissariat à l'énergie atomique et aux énergies alternatives : DRT (Centre de Saclay Centre de Grenoble Centre de Cadarache etc - France)
- Université Paris-Saclay (Espace Technologique, Bat. Discovery - RD 128 - 2e ét., 91190 Saint-Aubin - France)
Résumé : OpenEmbeDD est une plate-forme générique, reposant sur les technologies d'Ingénierie Dirigée par les Modèles (IDM), et intégrant des outils d'aide à la conception d'applications temps réel embarqué (TR/E). Les technologies d'IDM utilisées dans OpenEmbeDD sont basées sur l'environnement Eclipse. Elles fournissent une solution simple et efficace pour l'intégration d'outils TR/E sur la plateforme (par la réalisation d'un modeleur) et l'interopération de ses outils (par transformation de modèle). OpenEmbeDD peut être instanciée à un domaine d'application précis en sélectionnant, parmi l'ensemble des outils disponibles, ceux qui répondent à un cas d'utilisation particulier. La plate-forme OpenEmbeDD s'installe en quelques clics. Elle fournit alors une solution d'IDM complète pour mettre en oeuvre rapidement un modeleur et l'intégrer facilement à une suite d'outils. Pour cela, OpenEmbeDD repose sur le format EMF/Ecore afin de faciliter la manipulation de modèles, intègre le générateur d'éditeurs graphiques Topcased, le langage de transformation ATL, l'environnement de méta-modélisation Kermeta, l'éditeur de profils Papyrus. Sa conformité aux standards industriels les plus répandus est un avantage important. OpenEmbeDD intègre un modeleur UML complet accompagné de la mise en oeuvre de référence du profil temps-réel MARTE. OpenEmbeDD inclus également d'autres standards comme AADL, SysML ou SDL. La plate-forme OpenEmbeDD permet donc de complémenter la modélisation d'applications utilisant des profils UML standards avec toute la souplesse et la spécificité d'outils métier d'aide à la conception pour le TR/E, et ce à moindre coût de développement.
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/inria-00381639
Contributor : Frederic Lang <>
Submitted on : Wednesday, May 6, 2009 - 10:21:51 AM
Last modification on : Friday, January 8, 2021 - 3:40:41 AM
Long-term archiving on: : Thursday, June 10, 2010 - 10:49:28 PM
Contributor : Frederic Lang <>
Submitted on : Wednesday, May 6, 2009 - 10:21:51 AM
Last modification on : Friday, January 8, 2021 - 3:40:41 AM
Long-term archiving on: : Thursday, June 10, 2010 - 10:49:28 PM
File
Neptune-09.pdf
Files produced by the author(s)
Identifiers
- HAL Id : inria-00381639, version 1
Collections
UNICE | IMAG | INRIA | I3S | IRISA | UNIV-RENNES1 | CNRS | LIG_MFML | LIG_MFML_CONVECS | UGA | LIG | LAAS-VERTICS | IRISA-D4 | UNIV-TLSE3 | LAAS-INFORMATIQUE-CRITIQUE | CEA | DRT | INSA-TOULOUSE | UR1-UFR-ISTIC | UNIV-COTEDAZUR | LIST | UNIV-RENNES | LAAS | VERIMAG | INSA-GROUPE | INSA-TOULOUSE-GEI | UT1-CAPITOLE | UNIV-TLSE2 | INSA-RENNES
Citation
Charles André, Mariano Belaunde, Bernard Berthomieu, Christian Brunette, Agusti Canals, et al.. Présentation des résultats du projet OpenEmbeDD. Neptune, May 2009, Paris, France. ⟨inria-00381639⟩
Metrics
Record views
1392
Files downloads