UML MARTE Time Model and Its Clock Constraint Specification Language

Frédéric Mallet 1, 2 Marie-Agnès Peraldi-Frati 1, 2 Julien Deantoni 1, 2 Robert De Simone 1
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, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : The UML Profile for MARTE extends the UML with constructs dedicated to the modeling and analysis of real-time and embedded systems. Its time profile provides a rich model of time based on the notion of logical clocks that can be used consistently through all modeling elements/diagrams. The MARTE time profile comes with a companion language, called CCSL. CCSL is a formal declarative language used to handle the MARTE logical clocks and schedule the execution of the different parts of a model. This chapter gives a snapshot on modeling and analysis facilities that have been developed specifically around the time profile of MARTE and CCSL. A second objective is to show how MARTE can be combined with other profiles such as EAST-ADL. The last objective is the use of CCSL as a common language for specifying the semantics of models to allow their execution in a common framework. The MARTE and EAST-ADL constructs are illustrated on an example of a simplified cruise control. The example starts with a description of functional and timing requirements captured using a specific profile called EAST-ADL dedicated to the automotive domain. Then some of the requirements are refined with UML state machines and activities adorned with MARTE stereotypes. All these models rely on MARTE clocks. The semantics of these diagrams is given by a CCSL description that is automatically derived from the models. The resulting CCSL specification can be used to execute the UML/EAST-ADL specification, to animate the model, or to perform various kinds of analyses.
Type de document :
Chapitre d'ouvrage
Alessandra Bagnato; Leandro Soares Indrusiak; Imran Rafiq Quadri; Matteo Rossi. Embedded Systems Design, IGI Global, 2014, Handbook of Research on, 9781466661943. 〈10.4018/978-1-4666-6194-3.ch002〉. 〈http://www.igi-global.com/book/handbook-research-embedded-systems-design/102212〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01079039
Contributeur : Team Aoste <>
Soumis le : vendredi 31 octobre 2014 - 08:55:09
Dernière modification le : mardi 22 mars 2016 - 01:27:42

Identifiants

Collections

Citation

Frédéric Mallet, Marie-Agnès Peraldi-Frati, Julien Deantoni, Robert De Simone. UML MARTE Time Model and Its Clock Constraint Specification Language. Alessandra Bagnato; Leandro Soares Indrusiak; Imran Rafiq Quadri; Matteo Rossi. Embedded Systems Design, IGI Global, 2014, Handbook of Research on, 9781466661943. 〈10.4018/978-1-4666-6194-3.ch002〉. 〈http://www.igi-global.com/book/handbook-research-embedded-systems-design/102212〉. 〈hal-01079039〉

Partager

Métriques

Consultations de la notice

449