Les modèles de temps de MARTE et CCSL - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes Year : 2009

Les modèles de temps de MARTE et CCSL

Abstract

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.
No file

Dates and versions

inria-00416597 , version 1 (14-09-2009)

Identifiers

  • HAL Id : inria-00416597 , version 1

Cite

Charles André, Frédéric Mallet. Les modèles de temps de MARTE et CCSL. Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 89, pp.44-49. ⟨inria-00416597⟩
237 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More