Différences
Cette page vous donne les différences entre la révision choisie et la version actuelle de la page.
poncelet [2017/01/09 14:49] Clément Poncelet [Research Interests] |
poncelet [2017/01/09 14:50] (Version actuelle) Clément Poncelet [Research Interests] |
||
---|---|---|---|
Ligne 19: | Ligne 19: | ||
My thesis work deals with Formal Method and Interactive Music System. | My thesis work deals with Formal Method and Interactive Music System. | ||
In particular, I applied a Model-Based Testing framework to [[:antescofo|Antescofo]]. | In particular, I applied a Model-Based Testing framework to [[:antescofo|Antescofo]]. | ||
- | The thesis has been defended in french and is available [[http://medias.ircam.fr/xd127a9|here]]. | + | The thesis has been defended in french and is available [[http://medias.ircam.fr/xd127a9|here]], it dealt with: |
* **Timed Model**, in order to specify both timed-triggered and event-driven systems. We formally defined an Interactive Real-Time Model (IRTM) to abstract real-time systems. This model borrows both from the **Synchronous Programming** and **Timed Automata**. | * **Timed Model**, in order to specify both timed-triggered and event-driven systems. We formally defined an Interactive Real-Time Model (IRTM) to abstract real-time systems. This model borrows both from the **Synchronous Programming** and **Timed Automata**. |