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

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.

Data and Resources

Additional Info

Field Value
Source Workshop on the Globalization of Modeling Languages at MODELS 2013
Author Boulanger, Frédéric, Jacquet, Christophe, Hardebolle, Cécile, Dogui, Ayman
Maintainer CCSD
Last Updated May 8, 2026, 05:34 (UTC)
Created May 8, 2026, 05:34 (UTC)
Identifier hal-00905075
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Supélec Sciences des Systèmes (E3S) ; Ecole Supérieure d'Electricité - SUPELEC (FRANCE)
coverage Miami, United States
creator Boulanger, Frédéric
date 2013-09-29T00:00:00
harvest_object_id cbbdbe4a-0d3b-4f2c-9324-b82efd7f075f
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2023-02-14T00:00:00
set_spec type:COMM