 |
Conference papers
MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded Systems
Charles André
1
Arnaud Cuccuru
2
Jean-Luc Dekeyser
3
Robert de Simone
1
Cédric Dumoulin
4
Julien Forget
5
Thierry Gautier
6
Sébastien Gérard
7
Frédéric Mallet
8
Ansgar Radermacher
9
Laurent Rioux
10
Thierry Saunier
Yves Sorel
11
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
2
LISE - Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
3
DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
6
TEA - Tim, Events and Architectures
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Charles André 1
Author
Arnaud Cuccuru 2
Author
Jean-Luc Dekeyser 3
Author Employer institution : Université de Lille, Sciences et Technologies
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
Cédric Dumoulin 4
Author IdHAL : dumoulin
Julien Forget 5
Author IdHAL : julienforget ORCID : https://orcid.org/0000-0002-1669-8971
Thierry Gautier 6
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Sébastien Gérard 7
Author IdHAL : sebastien-gerard ORCID : https://orcid.org/0000-0003-0295-0520
Frédéric Mallet 8
Author Employer institution : Université Nice Sophia Antipolis (... - 2019) IdHAL : frederic-mallet ResearcherId : http://www.researcherid.com/rid/H-3942-2011 ORCID : https://orcid.org/0000-0002-9088-9821
Ansgar Radermacher 9
Author
Laurent Rioux 10
Author
Thierry Saunier
Author
Yves Sorel 11
Author IdHAL : yves-sorel
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
LISE - Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués (DTSI/SOL/LISE Saclay 91191 Gif-sur-Yvette - France)
- DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS (France)
- LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST (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)
- DRT (CEA) - Direction de Recherche Technologique (CEA) : DRT/LIST (France)
- LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST (DRT/LIST
Nano-INNOV
Avenue de la Vauve
91120 Palaiseau
- France)
3
DART - Contributions of the Data parallelism to real time (France)
- LIFL - Laboratoire d'Informatique Fondamentale de Lille (Bâtiment M3 59655 Villeneuve d'Ascq Cédex - France)
- Université de Lille, Sciences et Technologies (Cité Scientifique - 59655 Villeneuve d'Ascq Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Université de Lille, Sciences Humaines et Sociales (Domaine universitaire du "Pont de Bois" Rue du Barreau BP 60149 59653 Villeneuve d'Ascq Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8022 (France)
- Inria Lille - Nord Europe (Parc Scientifique de la Haute Borne 40, avenue Halley Bât.A, Park Plaza 59650 Villeneuve d'Ascq - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
4
LIFL - Laboratoire d'Informatique Fondamentale de Lille (Bâtiment M3 59655 Villeneuve d'Ascq Cédex - France)
- Université de Lille, Sciences et Technologies (Cité Scientifique - 59655 Villeneuve d'Ascq Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Université de Lille, Sciences Humaines et Sociales (Domaine universitaire du "Pont de Bois" Rue du Barreau BP 60149 59653 Villeneuve d'Ascq Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8022 (France)
5
LaBRI - Laboratoire Bordelais de Recherche en Informatique (Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5800 (France)
- École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) (France)
- Université Sciences et Technologies - Bordeaux 1 (351 cours de la Libération - 33405 Talence cedex - France)
- Université Bordeaux Segalen - Bordeaux 2 (146 rue Léo Saignat - 33076 Bordeaux cedex - France)
6
TEA - Tim, Events and Architectures (Campus de Beaulieu 35042 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)
- IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -
Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -
Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
7
DILS - Département Ingénierie Logiciels et Systèmes (France)
- LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST (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)
- DRT (CEA) - Direction de Recherche Technologique (CEA) : DRT/LIST (France)
8
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)
9
MIMOVE - Middleware on the Move (France)
- Inria de Paris (2 rue Simone Iff -
CS 42112 -
75589 Paris Cedex 12 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
10
Thales Research and Technology [Palaiseau] (1 Avenue Augustin Fresnel, 91767 Palaiseau cedex - France)
- THALES (France)
11
KOPERNIC - Adapter le raisonnement pire cas à différentes criticités (France)
- Inria de Paris (2 rue Simone Iff -
CS 42112 -
75589 Paris Cedex 12 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
Abstract : A new RFP invitation for an UMLTM profile on Real-Time and Embedded systems modeling and analysis (codename: MARTE) was recently voted at OMG.
While of broader scope than strictly SoC design, many objectives of MARTE are highly relevant to the domain (defining time structures, concurrency and communication models, mixing control-flow and dataflow, modeling architectural platforms and adopting Y-chart approaches for allocation of application functions onto architectural resources).
We describe the RFP content, stressing its relation to SoC design, as well as others connected activities in the domain, such as SysML, AADL, and UML4SoC.
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-02466757
Contributor : Cedric Dumoulin <>
Submitted on : Tuesday, February 4, 2020 - 3:52:12 PM
Last modification on : Friday, January 8, 2021 - 3:40:41 AM
Contributor : Cedric Dumoulin <>
Submitted on : Tuesday, February 4, 2020 - 3:52:12 PM
Last modification on : Friday, January 8, 2021 - 3:40:41 AM
Identifiers
- HAL Id : hal-02466757, version 1
Collections
I3S | UNIV-BORDEAUX | LABRI | UNIV-RENNES1 | CEA | INRIA | UNIV-LILLE3 | UNICE | UNIV-COTEDAZUR | DRT | LIST | IRISA | CNRS | UR1-UFR-ISTIC | UNIV-RENNES | INSA-RENNES
Citation
Charles André, Arnaud Cuccuru, Jean-Luc Dekeyser, Robert de Simone, Cédric Dumoulin, et al.. MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded Systems. DAC 2005 Workshop - UML for SoC Design, Jun 2005, Anaheim California, United States. ⟨hal-02466757⟩
Metrics
Record views