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
Inria Paris-Rocquencourt, UPMC - Université Pierre et Marie Curie - Paris 6, IRCAM, 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 metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/hal-00920028
Contributor : Clément Poncelet Sanchez <>
Submitted on : Tuesday, December 17, 2013 - 4:15:50 PM
Last modification on : Saturday, March 23, 2019 - 1:40:39 AM
Long-term archiving on : Saturday, April 8, 2017 - 7:33:56 AM

File

Dossier_Stage.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00920028, version 1

Citation

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⟩

Share

Metrics

Record views

178

Files downloads

554