Skip to Main content Skip to Navigation
Reports

Modèles de temps et de contraintes temporelles de MARTE et leurs applications

Charles André 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, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Résumé : Le profil UML MARTE a été créé pour la modélisation et l'analyse des systèmes temps réel embarqués. A ce titre, il permet d'annoter des modèles UML avec des paramètres temporels (durée, période, échéance, etc.). MARTE va bien au-delà de la simple annotation. Il définit un modèle de temps et de contraintes temporelles qui traite à la fois du temps dit physique et du temps logique. Le temps ''physique'' (appelé chronométrique en MARTE) est utilisé principalement dans les applications multitâches temps réel. MARTE permet aussi la prise en compte de plusieurs référentiels temporels dans une même application ce qui s'avère très utile en modélisation de systèmes répartis ou de systèmes électroniques ''multi-horloges''. Après une brève présentation du temps chronométrique, nous développons une facette moins connue de MARTE: le temps logique et le langage d'expression de contraintes appelé CCSL. Ceci introduit un modèle de ''temps pour la conception'' dans lequel la sémantique temporelle est directement intégrée au lieu d'être une simple annotation.
Document type :
Reports
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-00639211
Contributor : Charles André <>
Submitted on : Tuesday, November 8, 2011 - 3:07:19 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM
Document(s) archivé(s) le : Thursday, February 9, 2012 - 2:41:28 AM

File

RR-7788.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00639211, version 1

Collections

Citation

Charles André. Modèles de temps et de contraintes temporelles de MARTE et leurs applications. [Rapport de recherche] RR-7788, INRIA. 2011, pp.22. ⟨hal-00639211⟩

Share

Metrics

Record views

418

Files downloads

450