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.
Type de document :
Mémoires d'étudiants -- Hal-inria+
Multimedia [cs.MM]. 2015
Liste complète des métadonnées

Littérature citée [44 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01168098
Contributeur : Pierre Donat-Bouillud <>
Soumis le : jeudi 25 juin 2015 - 11:49:50
Dernière modification le : vendredi 31 août 2018 - 09:18:09
Document(s) archivé(s) le : vendredi 9 octobre 2015 - 17:26:58

Fichier

Identifiants

  • HAL Id : hal-01168098, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

184

Téléchargements de fichiers

120