Recherche
Panier électronique
Votre panier ne contient aucune notice
Connexion à la base
(Identifiez-vous pour accéder aux fonctions de mise à jour. Utilisez votre login-password de courrier électronique)
Entrepôt OAI-PMH
 | Consulter la notice détaillée |
 | Version complète en ligne |
 | Version complète en ligne accessible uniquement depuis l'Ircam |
 | Ajouter la notice au panier |
 | Retirer la notice du panier |
(full translation not yet available)
Consultation des notices
| Vue détaillée | Vue Refer | Vue Labintel | Vue BibTeX |
| Catégorie de document | Mémoire ou rapport de stage |
| Titre | Environnement de test pour un système temps-réel de performance en musique mixte |
| Auteur principal | Clément Poncelet Sanchez |
| Cadre du mémoire ou du rapport | Mémoire de M2 |
| Université ou établissement | Université Pierre et Marie Curie (UPMC) |
| Directeur | Florent Jacquemard |
| Année | 2013 |
| Statut éditorial | Non publié |
| 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. |
| Equipe | Représentations musicales |
| Cote | PonceletSanchez13a |
| Adresse de la version en ligne | http://architexte.ircam.fr/textes/PonceletSanchez13a/index.pdf |