Les modèles de temps de MARTE et CCSL

Charles André 1 Frédéric Mallet 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é : UML est un langage de modélisation largement utilisé mais qui offre peu de possibilités pour représenter des aspects liés au temps. Le profil UML Marte (Modeling and Analysis of Real-Time and Embedded systems) pallie cette insuffisance. Il offre la possibilité de modéliser du temps physique aussi bien que du temps logique. Un langage de spécification de contraintes d'horloges, CCSL (Clock Constraint Specification Language), est également proposé dans Marte. Cette présentation est une introduction au modèle de temps de Marte, aux diverses formes d'expression des valeurs temporelles et à CCSL. L'environnement Eclipse, nommé TimeSquare, développé pour supporter le modèle de temps de Marte et CCSL est également décrit.
Type de document :
Article dans une revue
Génie logiciel, C & S, 2009, pp.44-49
Liste complète des métadonnées

https://hal.inria.fr/inria-00416597
Contributeur : Frédéric Mallet <>
Soumis le : lundi 14 septembre 2009 - 17:36:38
Dernière modification le : mercredi 7 octobre 2015 - 01:15:57

Identifiants

  • HAL Id : inria-00416597, version 1

Collections

Citation

Charles André, Frédéric Mallet. Les modèles de temps de MARTE et CCSL. Génie logiciel, C & S, 2009, pp.44-49. <inria-00416597>

Partager

Métriques

Consultations de la notice

309