Projets ISE : Prototypage et validation de systèmes
Contents
1. du syst me d exploitation d un point de vu temporel e Quelle confiance puis je avoir dans les services que le syst me est cens me d livrer La m thode utilis e pour r pondre ces questions repose toujours essentiellement sur le test Cependant le test d un syst me d exploitation ne se fait pas de la m me mani re que celui d un OS En particulier le traitement de la seconde question est r ellement part Premi re tranche du projet D velopper une architecture d injection de faute reposant sur QEMU et les device drivers permettant d impl menter les mod les de fautes suivants e Random bit flip pour un segment de m moire pour une adresse fix e e Alt ration de la pile d un thread e Alt ration des valeurs de retour d un thread par s lection de valeurs redout es e Injection de retards dans une ex cution par busy loops Il faudra d terminer dans quelles mesures il est possible de s lectionner et configurer ces comportements sans avoir n cessairement recharger le driver dans Qemu En fonction du degr d avancement nous testerons d abord cette architecture sur le cas d un OS partitionn d velopp ici Telecom ParisTech Seconde tranche du projet D velopper une grammaire simplifier permettant de sp cifier une campagne d injection de faute les classes d observations collecter et la charge appliqu e au support d ex cution pour sensibiliser les services corrompus par exemple En f2. v hicules avec vitesse et distance r glable Mai ntient du statut de chaque train de v hicule et retour sur une console distante Environnement Ada Ravenscar pour Lego MindStorm Etude de cas Segway 4 personnes Le but de ce projet est avant tout de mettre en place tester et valider la plate forme de d veloppement Ada Ravenscar for NXT sur un cas concret de d veloppement Les points durs seront la mise en place de la chaine de production mais aussi l inventaire des drivers et biblioth ques port es pour le runtime Ada Ce sujet est organis en 5 tapes cl s dont deux sont jug es obligatoires 1 La mise en place d un environnement de d veloppement d ploiement fonctionnel a sous Windows pour Ada Ravenscar via les commandes de chargement b sous Linux via de l mulation ou l utilitaire Wine c Si b est un succ s construction d un liveCD ou une image ISO pour m moriser le configuration l installation des compilateurs et les scripts de chargement install s dans un r pertoire pr d fini de la distribution 2 L impl mentation de l tude de cas en Ada Ravenscar du code de contr le du Segway En mono t che d placement ligne droite 3 D velopper une interface et le module NXT associ pour piloter le robot distance via une application d ploy e sur Nokia N770 entre autres via bluetooth suggestion d veloppez en Java Offrir une interface graphique simple permettant de contr ler les param tres d
3. Projets ISE Prototypage et validation de syst mes embarqu s Organisation et r les Responsable Thomas Robert Encadrement Thomas Robert Laurent Pautet Etienne Borde Liste de diffusion ise infres enst fr peut tre encore indisponible Le site web www infres enst fr trobert ise2010 mise en place d un service de d p t s curis des livrables Experts techniques Thomas Robert Laurent Pautet Responsable des Audits suivi de projet Etienne Borde Le but des projets ISE est de vous placer dans une situation de d veloppement de prototype relativement avanc s de syst mes embarqu s temps r els Le but ici est de vous faire mettre en pratiques les concepts et la th orie vue en cours de FSET et ETER Les points abord s lors de cette instance seront les suivants 1 Environnement de d veloppement Ada Ravenscar contr le de syst mes configuration d applications temps r els et serveurs de t ches Application au Segway lego introduire si possible le cas de la rotation 2 Environnement de caract risation de syst me embarqu injection de faute guid e par les mod les g n ration et int gration d injecteurs de fautes pr dictibles Le cas des supports partitionn s avionique POK et ou Xtratum 3 Coordination de mouvements pour syst mes embarqu s d veloppement d un service de coordination entre N robot lego mindstorm pour un d placement en flottilles leader followers Mod le train de
4. onction de la d marche de configuration du device drivers injectant les fautes vous devrez g n rer automatiquement soit la configuration soit les scripts programmes qui l appliquent Qemu Livrables e La description architecturale des injecteurs de fautes en AADL pour Qemu e Le code m tier d injection pour une famille non triviale de fautes 3 parmi celles cit es dans le sujet pour POK et ou Xtratum e Le manuel d utilisation des injecteurs e La grammaire du langage d di permettant de sp cifier une campagne d injection de fautes et les observables d sir s e Un tutoriel montrant comment utiliser l outil de A Z R f rences 3 documents cf http www infres enst fr trobert ISE 2010 FT Coordination et mouvement de groupe pour lego NXT Le but de ce dernier projet est de mettre en place une couche r seau pr dictible permettant d impl menter un comportement de d placement en flottille avec partage d un tat global au sein du groupe http www voutube com watch v X siyEVTKF Le probl me technique est le suivant une brique NXT communique par bluetooth avec la contrainte suivante 1 seule communication en entr e N communication en sortie avec commutation donc inefficacit Nous souhaitons passer outre cette limitation de ces syst mes embarqu s pour impl menter un algorithme de suivi de l tat d une flottille de robots Le travail r aliser est le suivant 1 R aliser un prototype de robot suive
5. u contr leur 4 D finir et mettre en uvre une politique de changement de modes fonctionnels permettant de passer du cas mouvement ligne droite la rotation 5 Exp rimenter le module dans des situation adverses plan inclin sol in gal Livrables ch ance Une image de type iso ou une installation d ployable facilement sur un syst me Unix ou Windows de l environnement de d veloppement Le code du prototype de segway en Ada ou C en fonction des obstacles et succ s rencontr s Un tutoriel compl tant les manques de celui de Adacore sur le d ploiement d une application Ravenscar sur Lego MindStorm Un descriptif des exp riences r alis es et analyse de leur d roulement Le code de la commande distance du robot Lien et r f rences bibliographiques 1 http www nxtprograms com NXT2 segway index html 2 http libre adacore com home academia mindstorms 3 http en wikipedia org wiki PID controller 4 http esweek09 inrialpes fr tutorials EMSOFT 202009 Mindstorms Tutorial Friday Draft pdf http newlc com rithms 7 http tablets dev nokia com Fraction de d veloppement commune liaison bluetooth station h te Injection de fautes dirig e par les mod les application au cas des syst mes partitionn s La caract risation d un support d ex cution a toujours pos un nombre de probl mes particuli rement complexes traiter e Comment peut on valuer l efficacit
6. ur de ligne capable de d tecter la pr sence d un robot juste devant lui 2 Impl menter le contr leur de vitesse qui tente d assure que la valeur moyenne de l cart entre deux v hicule est gal L d terminer exp rimentalement 3 Concevoir et valider formellement le protocole permettant de cr er un arbre couvrant tel que sa seul feuille soit le leader du convoi 4 Impl menter l algorithme de construction des tables de routage utiliser une base si n cessaire 5 Impl menter sur le leader la fonction de calcul de la taille du convoi et d export vers une base de cet tat 6 Tester et stresser le service distribu ainsi impl ment Livrables e Cahier de sp cification du protocole avec l ments de v rification terminaison absence de deadlock Favoriser une premi re impl mentation non centralis e e __Impl mentation du protocole sur brique NXT 2 0 sous Lejos ou OSEK NXT C d finir e Mise en place d une d monstration pour une d mo devant des industriels de l automobile Renault d partement R amp D logiciel embarqu en fonction du succ s du projet R f rences 1 2 3 2ddb82e 187064562249
Download Pdf Manuals
Related Search