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
2 LISE - Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués
3 DART - Contributions of the Data parallelism to real time
4 LIFL - Laboratoire d'Informatique Fondamentale de Lille
5 LaBRI - Laboratoire Bordelais de Recherche en Informatique
6 TEA - Tim, Events and Architectures
7 DILS - Département Ingénierie Logiciels et Systèmes
8 I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
9 MIMOVE - Middleware on the Move
10 Thales Research and Technology [Palaiseau]
11 KOPERNIC - Adapter le raisonnement pire cas à différentes criticités
2 LISE - Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués
3 DART - Contributions of the Data parallelism to real time
4 LIFL - Laboratoire d'Informatique Fondamentale de Lille
5 LaBRI - Laboratoire Bordelais de Recherche en Informatique
6 TEA - Tim, Events and Architectures
7 DILS - Département Ingénierie Logiciels et Systèmes
8 I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
9 MIMOVE - Middleware on the Move
10 Thales Research and Technology [Palaiseau]
11 KOPERNIC - Adapter le raisonnement pire cas à différentes criticités
Charles André
- Function : Author
- PersonId : 833547
Arnaud Cuccuru
- Function : Author
- PersonId : 1002491
Jean-Luc Dekeyser
- Function : Author
- PersonId : 921562
Robert de Simone
- Function : Author
- PersonId : 742509
- IdHAL : rdesimone
- ORCID : 0000-0002-3123-7591
- IdRef : 082863652
Cédric Dumoulin
- Function : Author
- PersonId : 2505
- IdHAL : dumoulin
Julien Forget
- Function : Author
- PersonId : 10132
- IdHAL : julienforget
- ORCID : 0000-0002-1669-8971
- IdRef : 163689709
Sébastien Gérard
- Function : Author
- PersonId : 19896
- IdHAL : sebastien-gerard
- ORCID : 0000-0003-0295-0520
- IdRef : 167724053
Frédéric Mallet
- Function : Author
- PersonId : 1812
- IdHAL : frederic-mallet
- ORCID : 0000-0002-9088-9821
- IdRef : 060764325
Thierry Saunier
- Function : Author
Yves Sorel
- Function : Author
- PersonId : 22034
- IdHAL : yves-sorel
- IdRef : 087109670
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.