Multimedia scheduling for interactive multimedia systems

Pierre Donat-Bouillud 1, 2, 3, 4
1 Repmus - Représentations musicales
STMS - Sciences et Technologies de la Musique et du Son
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 : Scheduling for real-time interactive multimedia systems (IMS) raises specific challenges that require particular attention. Examples are triggering and coordination of heterogeneous tasks, especially for IMS that use a physical time, but also a musical time that depends on a particular performance, and how tasks that deal with audio processing interact with control tasks. Moreover , IMS have to ensure a timed scenario, for instance specified in an augmented musical score, and current IMS do not deal with their reliability and predictability. We present how to formally interleave audio processing with control by using buffer types that represent audio buffers and the way of interrupting computations that occur on them, and how to check the property of time-safety of IMS timed scenarios, in particular augmented scores for the IMS Antescofo for automatic accompaniment developed at Ircam. Our approach is based on the extension of an intermediate representation similar to the E code of the real-time embedded programming language Giotto, and on static analysis procedures run on the graph of the intermediate representation.
Document type :
Master thesis
Complete list of metadatas

Cited literature [44 references]  Display  Hide  Download

https://hal.inria.fr/hal-01168098
Contributor : Pierre Donat-Bouillud <>
Submitted on : Thursday, June 25, 2015 - 11:49:50 AM
Last modification on : Saturday, March 23, 2019 - 1:39:59 AM
Long-term archiving on : Friday, October 9, 2015 - 5:26:58 PM

Identifiers

  • HAL Id : hal-01168098, version 1

Citation

Pierre Donat-Bouillud. Multimedia scheduling for interactive multimedia systems. Multimedia [cs.MM]. 2015. ⟨hal-01168098⟩

Share

Metrics

Record views

213

Files downloads

166