Modèle de contraintes temporelles pour systèmes polychrones - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal Européen des Systèmes Automatisés (JESA) Year : 2009

Modèle de contraintes temporelles pour systèmes polychrones

Abstract

La modélisation des systèmes répartis et des systèmes électroniques modernes nécessite des référentiels temporels multiples. Nous désignons ces systèmes sous le nom de “systèmes polychrones”. Le profil UML pour les systèmes temps réel et embarqués (MARTE) permet leur modélisation ainsi que la spécification de contraintes temporelles avec CCSL (Clock Constraint Specification Language). Dans MARTE, CCSL est non normatif et sa sémantique est informelle. Nous proposons ici une sémantique formelle en termes d'évolutions d'un “Time System” pour un noyau de CCSL. Un “Time System” est un modèle dynamique qui associe un ensemble de configurations à un modèle structurel constitué d'un ensemble d'horloges discrètes et de relations sur ces horloges. Les Time Systems sont comparés à d'autres modèles de causalités asynchrones, synchrones et polychrones. CCSL et sa mise en oeuvre sont illustrés sur un exemple de contrôleur d'ABS.
Fichier principal
Vignette du fichier
jesa09.pdf (270.8 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00434462 , version 1 (23-11-2009)

Identifiers

  • HAL Id : inria-00434462 , version 1

Cite

Charles André, Frédéric Mallet. Modèle de contraintes temporelles pour systèmes polychrones. Journal Européen des Systèmes Automatisés (JESA), 2009, 7-9 (43), pp.725-739. ⟨inria-00434462⟩
297 View
630 Download

Share

Gmail Facebook Twitter LinkedIn More