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 Access content directly
Master Thesis Year : 2013

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

Abstract

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.
Fichier principal
Vignette du fichier
Dossier_Stage.pdf (5.09 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00920028 , version 1

Cite

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⟩
105 View
362 Download

Share

Gmail Facebook X LinkedIn More