Recherche

Recherche simple

Recherche avancée

Panier électronique

Votre panier ne contient aucune notice

Connexion à la base

Identification

(Identifiez-vous pour accéder aux fonctions de mise à jour. Utilisez votre login-password de courrier électronique)

Entrepôt OAI-PMH

Soumettre une requête

	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

English version

(full translation not yet available)

Liste complète des articles

Consultation des notices

Vue détaillée

Vue Refer

Vue Labintel

Vue BibTeX

%0 Generic
%A Poncelet Sanchez, Clément
%T Environnement de test pour un système temps-réel de performance en musique mixte
%D 2013
%I Université Pierre et Marie Curie (UPMC)
%F PonceletSanchez13a
%X 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.
%1 8
%2 1
%U http://architexte.ircam.fr/textes/PonceletSanchez13a/