Environnement de test pour un système temps-réel de performance en musique mixte - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Mémoires D'étudiants -- Hal-Inria+ Année : 2013

Environnement de test pour un système temps-réel de performance en musique mixte

Résumé

A Master 2 internship report done at the IRCAM (the Institute for Research and Coordination in Acoustics/Music). Subject : Test environments for a real-time mixed music system. This report concerns an automatic generation of real time test model based suites using UPPAAL tools. -Specification with timed automaton, test execution using UPPAAL extensions and conformance management - are points studied in the report. An offline procedure using coVer is developed and described in the appendix.
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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
Dossier_Stage.pdf (5.09 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00920028 , version 1 (17-12-2013)

Identifiants

  • HAL Id : hal-00920028 , version 1

Citer

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⟩
107 Consultations
363 Téléchargements

Partager

Gmail Facebook X LinkedIn More