Heterogeneous Model Composition in ModHel'X: the Power Window Case Study - CentraleSupélec
Conference Papers Year : 2013

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

Christophe Jacquet
  • Function : Author
  • PersonId : 942953
Cécile Hardebolle
  • Function : Author
  • PersonId : 942954

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.
Fichier principal
Vignette du fichier
PowerWindowModel.pdf (166.21 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00905075 , version 1 (15-11-2013)

Identifiers

  • HAL Id : hal-00905075 , version 1

Cite

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⟩
105 View
108 Download

Share

More