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, Laboratoire I3S - 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.
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/inria-00416597
Contributor : Frédéric Mallet <>
Submitted on : Monday, September 14, 2009 - 5:36:38 PM
Last modification on : Monday, November 5, 2018 - 3:36:03 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

449