Nous présenterons un module d’analyse qui vient compléter le système de suivi de partitions Antescofo, en permettant une exploration a priori des comportements temporels possibles d’Antescofo sur une partition donnée pendant les performances futures.
Plus précisément, le but est d’évaluer la robustesse du système aux variations de tempo des interprètes, et d’indiquer aux compositeurs ainsi qu’aux interprètes d’éventuels points critiques.
Son développement s’appuie sur le modèle formel de réseaux d’automates temporisés paramétrés et sur des techniques d’inférences de contraintes linéaires qui sont utilisées pour la vérification de circuits ou en ordonnancement de tâches.