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
Résumé : Ce document est un mémoire de fin de Master2 Informatique STL de l' Université Pierre et Marie Curie qui s'est déroulé à l'IRCAM (Institut de Recherche et coordination Acoustique/Musique). Ici, nous allons aborder le sujet du test sur un système temps réel embarqué et plus précisément de génération automatique de tests basée sur modèle pour systèmes temps-réel. - La spécification par automates temporisés, l'exécution des tests grâce à des outils du logiciel UPPAAL, la gestion d'une conformité pour rendre le bon verdict selon un environnement en temps réel - sont des points étudiés dans ce rapport. Une procédure offline utilisant coVer est développée et décrite dans l'annexe.
Type de document :
Mémoires d'étudiants -- Hal-inria+
Autre [cs.OH]. 2013
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00920028
Contributeur : Clément Poncelet Sanchez <>
Soumis le : mardi 17 décembre 2013 - 16:15:50
Dernière modification le : vendredi 31 août 2018 - 09:14:29
Document(s) archivé(s) le : samedi 8 avril 2017 - 07:33:56

Fichier

Dossier_Stage.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00920028, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

156

Téléchargements de fichiers

464