Les modèles de temps de MARTE et CCSL - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes Année : 2009

Les modèles de temps de MARTE et CCSL

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00416597 , version 1

Citer

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⟩
242 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More