Evènement pour le groupe Modélisation et Verification

Date 2010-02-11  11:30-12:45
TitreTowards a Computational Modeling of an Heterogeneous System for Interactive Musical Scores 
RésuméInteractive scores (IS) are a formalism for composition and performance of musical pieces composed by temporal objects, temporal structures and discrete interactive events. IS may be used for the composition and performance of Electroacoustic music; to control image, video, audio and lights on live spectacles and interactive museums; and to help handicapped and begginer musicians to perform a difficult piece. Currently, there is not an IS model that allows temporal constraints, logical branching, global constraints, and audio/video streams simultaneusly. We propose using the FAUST system to process audio/video streams and the Non-deterministic Timed Concurrent Constraint (ntcc) calculus to cope with the other phenomena. We plan to develop a model for IS, where ntcc and FAUST interact, and to use model checking techniques to verify it*. *This is one of the objectives to accomplish in my doctorate, which I started on october 2009. 
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurMauricio Toro 

Aucun document lié à cet événement.

Retour à l'index