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, 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.
Type de document :
Rapport
[Rapport de recherche] RR-7788, INRIA. 2011, pp.22
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00639211
Contributeur : Charles André <>
Soumis le : mardi 8 novembre 2011 - 15:07:19
Dernière modification le : vendredi 25 mai 2018 - 12:02:04
Document(s) archivé(s) le : jeudi 9 février 2012 - 02:41:28

Fichier

RR-7788.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00639211, version 1

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〉

Partager

Métriques

Consultations de la notice

374

Téléchargements de fichiers

390