1
MARTE, UML&AADL, October 2006 – S. Gérard (CEA-List)
DTSI
MARTE: the future OMG standard for MDE of RTES
1st workshop on "UML and AADL“
ENST, Paris – October, the 9th 2006
Sébastien Gérard, Huascar Espinoza, Safouan Taha and Frédéric Thomas
{firstName.lastName}@cea.fr
CEA-List / DTSI / SOL / L-LSP
2
MARTE, UML&AADL, October 2006 – S. Gérard (CEA-List)
DTSI
A UML profile for Schedulability, Performance and Time
Î also called "SPT"
First UML profile dedicated to RT domain
9 V1.1, realtime/05-02-06
Æ http://www.omg.org/technology/documents/formal/schedulability.htm
9 Adopted and in use for over 18 months
Main outputs were:
9 A generic framework for modeling resources and NFP
9 A powerful mean to model:
ÆMetric time
ÆGeneral concurrency
9 Two real-time analysis modeling frameworks:
Æ For schedulability analysis
» Mainly support for RMA
Æ For performance analysis
» Mainly support for queuing-related techniques
3
MARTE, UML&AADL, October 2006 – S. Gérard (CEA-List)
DTSI
Why MARTE and not SPT V2.0 ?
Remaining issues not solved in the FTF of SPT
9 Final RTF Report for the SPT profile (ptc/2004-02-02)
Æ Deferred issues to a new RFP deeming them to be too disruptive for a
simple revision of SPT.
9 e.g.
Æ Incoherencies between subprofiles
» GRM, Schedulability, and Performance modeling elements show a need
for a better top-level architecture.
Æ Specific semantics must be better defined.
» e.g. different kinds of deployment or properties of communication engines
Æ SPT does not support state machine-based analysis.
Need to enlarge the scope of SPT, e.g.:
9 Embedded domain.
9 Component-based architectures modeling and analysis.
UML Profile for MARTE RFP
(February 4, 2005 - realtime/05-02-06)
4
MARTE, UML&AADL, October 2006 – S. Gérard (CEA-List)
DTSI
Agenda
Context of the Marte initiative
Outlines of the current proposition
Some specific technical focuses
First analysis of Marte vs. AADL
Next steps
5
MARTE, UML&AADL, October 2006 – S. Gérard (CEA-List)
DTSI
Context
AADL
(2006-draft)
SPT
(2005-adopted)
Q