1st International ICST Conference on Simulation Tools and Techniques for Communications, Networks and Systems

Research Article

MARTE: A Profile for RT/E Systems Modeling, Analysis - and Simulation?

Download391 downloads
  • @INPROCEEDINGS{10.4108/ICST.SIMUTOOLS2008.3097,
        author={Frederic Mallet and Robert de Simone},
        title={MARTE: A Profile for RT/E Systems Modeling, Analysis - and Simulation?},
        proceedings={1st International ICST Conference on Simulation Tools and Techniques for Communications, Networks and Systems},
        publisher={ICST},
        proceedings_a={SIMUTOOLS},
        year={2010},
        month={5},
        keywords={UML profile MARTE.},
        doi={10.4108/ICST.SIMUTOOLS2008.3097}
    }
    
  • Frederic Mallet
    Robert de Simone
    Year: 2010
    MARTE: A Profile for RT/E Systems Modeling, Analysis - and Simulation?
    SIMUTOOLS
    ICST
    DOI: 10.4108/ICST.SIMUTOOLS2008.3097
Frederic Mallet1,*, Robert de Simone2,*
  • 1: AOSTE Inria/I3S project, Université de Nice Sophia Antipolis, INRIA / CNRS / UNSA +33 4 92 38 79 66
  • 2: AOSTE Inria/I3S project, INRIA Sophia Antipolis Méditerranée, INRIA / CNRS / UNSA +33 4 92 38 79 41
*Contact email: Frederic.Mallet@sophia.inria.fr, Robert.de_Simone@sophia.inria.fr

Abstract

As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immediately added state-, activity-, collaboration-, and component diagrams. All these modeling views, required for structural and behavioral representations of systems, were then progressed to further detailed expressivity. Provision for domainspecific specializations was made under the form of (augmented) profiles. Somehow this goal of being rather universal and extendible discarded the possibility of UML to adopt too strict and precise a semantics; as users were generally to define and refine it in their stereotyped profiles anyway. As a result, even the little execution semantics there is in the standard is often not considered in such specializations. We tackled the general issue of defining a broadly expressive Time Model as a sub-profile of the upcoming OMG Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE), currently undergoing finalization at OMG. The goal is to provide a generic timed interpretation, on which timed models of computation and timed simulation semantics could be built inside the UML definition scope, instead of as part of the many external proprietary profiles. The MARTE time library can be used as the basis for the definition of a UML real-time simulator.