Skip to Main content Skip to Navigation
New interface
Master thesis

Environnement de test pour un système temps-réel de performance en musique mixte

Clément Poncelet Sanchez 1, 2, 3 
2 MuTant - Synchronous Realtime Processing and Programming of Music Signals
IRCAM - Institut de Recherche et Coordination Acoustique/Musique, Inria Paris-Rocquencourt, UPMC - Université Pierre et Marie Curie - Paris 6, CNRS - Centre National de la Recherche Scientifique
Abstract : A Master 2 internship report done at the IRCAM (the Institute for Research and Coordination in Acoustics/Music). Subject : Test environments for a real-time mixed music system. This report concerns an automatic generation of real time test model based suites using UPPAAL tools. -Specification with timed automaton, test execution using UPPAAL extensions and conformance management - are points studied in the report. An offline procedure using coVer is developed and described in the appendix.
Document type :
Master thesis
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download
Contributor : Clément Poncelet Sanchez Connect in order to contact the contributor
Submitted on : Tuesday, December 17, 2013 - 4:15:50 PM
Last modification on : Tuesday, March 15, 2022 - 3:21:20 AM
Long-term archiving on: : Saturday, April 8, 2017 - 7:33:56 AM


Files produced by the author(s)


  • HAL Id : hal-00920028, version 1


Clément Poncelet Sanchez. Environnement de test pour un système temps-réel de performance en musique mixte. Autre [cs.OH]. 2013. ⟨hal-00920028⟩



Record views


Files downloads