Heterogeneous Model Composition in ModHel'X: the Power Window Case Study

Frédéric Boulanger 1 Christophe Jacquet 1 Cécile Hardebolle 1 Ayman Dogui 1
1 E3S - Supélec Sciences des Systèmes [Gif-sur-Yvette]
Abstract : This paper describes an heterogeneous model of a power window which is available on the ReMoDD repository. This model uses timed finite state machines for modeling the controller of the power window, synchronous data flows for modeling the mechanical part of the window, and discrete events for modeling the communications between the components on the car's bus. An important aspect of this model is the specification of the semantic adaptation between the heterogeneous parts of the model. This semantic adaptation is made for data, control, and time. The semantic adaptation of control and time relies on the TESL library which is an implementation of the model of time used in the ModHel'X platform. The model can be run using a simulation scenario with a graphical display of the outputs. The semantic adaptation can be disabled in order to show how it affects the behavior of the model. The demo can also be run with a graphical interface and a user in the loop.
keyword : Multiparadigm modeling Semantic adaptation Heterogeneous modeling
Document type :
Conference papers
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download
https://hal-supelec.archives-ouvertes.fr/hal-00905075
Contributor : Frédéric Boulanger <>
Submitted on : Friday, November 15, 2013 - 5:48:47 PM
Last modification on : Saturday, September 15, 2018 - 1:03:06 AM
Long-term archiving on : Monday, February 17, 2014 - 4:51:36 PM

File

PowerWindowModel.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00905075, version 1

Collections

SUPELEC | SUP_INFO

Citation

Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Ayman Dogui. Heterogeneous Model Composition in ModHel'X: the Power Window Case Study. Workshop on the Globalization of Modeling Languages at MODELS 2013, Sep 2013, Miami, United States. ⟨hal-00905075⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

272

Files downloads

107

Contact

CCSD