Modèles de temps et de contraintes temporelles de MARTE et leurs applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2011

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

Abstract

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.
Fichier principal
Vignette du fichier
RR-7788.pdf (717.77 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00639211 , version 1 (08-11-2011)

Identifiers

  • HAL Id : hal-00639211 , version 1

Cite

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⟩
205 View
285 Download

Share

Gmail Facebook X LinkedIn More