Section: Other Grants and Activities

Regional Actions

Farman Project EMoTiCon

Participants : Thomas Chatain, Stefan Haar, Serge Haddad.

The EMoTiCon project is a collaboration between researchers from MExICo and from the laboratory of automated production at ENS Cachan. As such, this collaboration is funded by the Farman institute of ENS Cachan.

The scentific context of the EMoTiCon project is the variety of formalisms used to model distributed real-time systems. We aim at formalizing and automating translations between these models, that preserve both the timed semantics and the concurrent semantics. This problem is described in Section  3.3.3.2 .