M1

Objectif (libstdc++)[Nicolas]

L'objectif de ce stage est le portage d'une bibliothèque standard C++ dans MutekH. La bibliothèque standard C++ permet la compilation et l'exécution de programmes en C++ et s'appuie sur les fonctionnalité de la bibliothèque C standard déjà existante.

Le stagiaire devra compiler une des bibliothèques standards C++ libre et l'intégrer dans MutekH. L'exécution d'applications C++ sur MutekH permettra naturellement de valider le stage.

Objectif (Injection de pannes dans les modèles de composants SoCLib)[Dimitri]

Le simulateur SoCLib permet d'étudier le comportement des circuits, cependant les pannes due à l'électronique ne sont actuellement pas prise en compte. En effet en situation réel certain éléments matériels peuvent cesser de fonctionner. Le projet Adam vise l'élaboration d'une plate forme capable de gérer ces situations et nécessite donc leur prise en charge des la simulation

L'objectif de ce stage est d'ajouter la capacité d'injection de pannes franches aux modèles SoCLib actuels.

La simulation de pannes dans un simulation SoCLib permettrait de valider différents protocoles de test directement depuis systemC.

Dans un soucis de modularité, l'injection de pannes devra être la moins intrusive possible au niveau de l'architecture des composants systemC, et facilement désactivable.

Pour commencer, le stagiaire devra se familiariser avec les modèles SoCLib et les différents type de pannes franches existantes.

La validation se fera par l'exécution sur MutekH d'une application de tests logiciels directement dans la simulation.

Objectif (Composant SoCLib UART 16550 et le driver MutekH associé)[Christophe]

L'objectif de ce stage est d'obtenir un modèle de simulation SoCLib d'une UART, un modèle VHDL équivalent et le pilote du périphérique pour MutekH.

Une UART est un périphérique simple de communication permettant d'établir une liaison série entre deux machines, c'est le composant qui supporte la norme RS232 sur les PCs. L'UART 16550 dont il est question est compatible avec celle des PC.

Le modèle de composant SoCLib se rapproche beaucoup du modèle de TTY déjà existant et de son driver assocé dans MutekH. Un driver pour les UART 16550 supportant à l'heure actuelle uniquement la plateforme PC existe également. Un modèle VHDL existe déjà et doit être adapté pour que son jeu de registres correspondent à la spécification choisie ici.

Tous ces éléments devront donc être développés ou adaptés pour obtenir un ensemble uniforme et cohérent.

Objectif (Portage de TinyGL dans MutekH)[Nicolas]

L'objectif de ce stage est de porter la bibliothèque TinyGL dans MutekH.

La bibliothèque TinyGL (​http://bellard.org/TinyGL/) est une implémentation minimaliste et légère d'OpenGL sans accélération matérielle. Elle est particulièrement bien adaptée à l'embarqué. Elle permet de rendre des scènes animées en 3d dans un frame buffer.

Le système d'exploitation MutekH dispose de toute les ressources pour accueillir cette nouvelle bibliothèque: des drivers de framebuffer, une biblitohèque matématique...

Le travail de ce stage consiste à compiler TinyGL avec MutekH et écrire le backend pour exploiter l'interface de frame buffer. Le stagiaire pourra valider son travail en exécutant les programmes de démonstration fournis avec TinyGL ou d'autres programmes 3d de son choix ou de sa création. L'expérimentation pourra être réalisée sur une platforme SoCLib ou Pc.