Modèle de contraintes temporelles pour systèmes polychrones

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é : 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.
Document type :
Journal articles
Liste complète des métadonnées

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/inria-00434462
Contributor : Frédéric Mallet <>
Submitted on : Monday, November 23, 2009 - 1:05:23 PM
Last modification on : Monday, November 5, 2018 - 3:36:03 PM
Document(s) archivé(s) le : Thursday, June 17, 2010 - 9:28:27 PM

File

jesa09.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00434462, version 1

Collections

Citation

Charles André, Frédéric Mallet. Modèle de contraintes temporelles pour systèmes polychrones. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2009, 7-9 (43), pp.725-739. ⟨http://jesa.revuesonline.com/⟩. ⟨inria-00434462⟩

Share

Metrics

Record views

502

Files downloads

596