MARTE: Also an UML Profile for Modeling AADL Applications

Authors:
Madeleine Faugere;Thimothee Bourbeau;Robert de Simone;Sebastien Gerard
Affiliations:
Thales Research and Technology;Thales Research and Technology;INRIA, France;CEA LIST, France
Venue:
ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
Year:
2007

Citing 0
Cited 8

Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format

IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Extending sysML with AADL concepts for comprehensive system architecture modeling

ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Resource allocation contracts for open analytic runtime models

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
A generic framework: from modeling to code

Innovations in Systems and Software Engineering
Development of a synchronous subset of AADL

ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: Advantages, limitations and alternatives

Journal of Systems Architecture: the EUROMICRO Journal
Dynamic service composition and deployment with openrichservices

Software Service and Application Engineering
Hybrid AADL: a sublanguage extension to AADL

Proceedings of the 5th Asia-Pacific Symposium on Internetware

Quantified Score

Hi-index	0.00

Visualization

Abstract

Marte (A UML Profile for Modeling and Analysis of Real-Time and Embedded systems) is a new UML profile extension for real-time and embedded systems, which is going to be standardized by mid 2007 at OMG (Object Management Group). This standard has been proposed by the "ProMarte" consortium, which consists of OMG end-users, tool providers and academics. Marte defines concepts in terms of UML extensions needed to model and analyze real-time and embedded systems (RT/ES). The Marte specification provides an annex which handles its relation to AADL-based models, and the way it may represent them.. Our purpose in this paper is to describe this relation. Our constructions will be presented and illustrated through some examples.