Stages 2011

Merci d’envoyer votre candidature à recrutement@clearsy.com – Candidature en ligne

Stages 2012

ClearSy propose aux élèves ingénieurs de 2ème et 3ème année des sujets de stage liés à la modélisation mathématique et au développement de logiciels. Selon les demandes, nous pouvons adapter certains de ces sujets à une durée de stage plus courte.

STAGE 1 – Programmation sécuritaire embarquée sur PIC32 (3 stagiaires H/F) – POURVU.

Programmation sécuritaire embarquée sur PIC32

Les stages consistent à développer des outils d’ingénierie utilisés pour le développement d’applications sécuritaires dans le domaine ferroviaire. Ces outils et applicatifs seront développés sur microcontrôleur PIC 32 (MX795L).
Les travaux à réaliser consisteront à :

Développer une librairie de communication Ethernet sur PIC32.
Le stage commencera avec une familiarisation avec la famille des microcontrôleurs PIC32. Une fois la familiarisation effectuée (clignotement de leds, envoi de données sur un port RS485 …), le stagiaire se penchera sur l’ethernet afin de le faire fonctionner, et permettre le dialogue entre un PC et le microcontrôleur (comme un terminal sous linux) afin de valider son bon fonctionnement (DHCP, etc…). Une fois l’ethernet bien maîtrisé, une librairie « générique » sera constituée afin de configurer et s’interfacer facilement avec la couche basse, tout en optimisant la place mémoire au maximum. Pour finir, une adaptation d’un programme (bootloader) fonctionnant en RS485 sera à faire en ethernet. De plus, la librairie sera commentée en formalisme Doxygen.
Développer une librairie de gestion de communication USB/SD sur PIC32.
Le stage commencera avec une familiarisation avec la famille des microcontrôleurs PIC32; Une fois la familiarisation effectuée (clignotement de leds, envoi de données sur un port RS485 …), le stagiaire se penchera sur une librairie existante d’interface entre le microcontrôleur et des supports de logs tels que la SD et l’USB. Cette librairie utilise des appels de fonctions bloquants (une ouverture de fichier ne sort pas de la fonction pendant toute la recherche de la place disponible par exemple), et ne peut avoir qu’un support de disponible à la fois (on ne peut pas l’utiliser pour stocker à la fois sur SD et USB) : le but est de permettre des fonctions d’initialisation (avec exécution différée en tâche de fond : on initialise l’ouverture d’un fichier, et la phase d’ouverture s’exécute toutes les Xms tant que le fichier n’est pas ouvert pendant Y ms avant de rendre la main au programme principal), et permettre la lecture/écriture sur plusieurs supports simultanément. La librairie à adapter/développer devra se présenter comme une librairie générique pouvant être utilisée sur n’importe quel projet via un fichier de configuration simple. Des tests de performances seront à effectuer sur la librairie finale. De plus, la librairie sera commentée en formalisme Doxygen.
Porter une application de comptage sur PIC32.
Le stage commencera avec une familiarisation avec la famille des microcontrôleurs PIC32; Une fois la familiarisation effectuée (clignotement de leds, envoi de données sur un port RS485 …), le stagiaire se penchera sur les spécifications de l’application « comptage d’essieux ». Cette application réalise un comptage des essieux qui passent à proximité d’un capteur magnétique (DRF). Cette application (1500 lignes de C), initialement développée sur MOXA (www.moxa.com) doit être portée sur PIC32. Il s’agira d’adapter et/ou de redévelopper les fonctions d’initialisation, de gestion des entrées sorties et d’enregistrement des traces.

Compétences demandées : PIC32, C, C++, Qt, architectures microcontrôleurs, contraintes embarquées, dialogue avec périphériques SD et USB.
Localisation : Aix en Provence
Rémunération mensuelle :
o Bac+5 : 417€ + 385€ d’indemnité de logement si foyer distant de plus de 50km
o Bac+4 : 417€
Durée : 5 mois souhaités, 3 mois minimum

STAGE 2 – Relais de sécurité (un stagiaire H/F) – POURVU.

Réaliser un prototype d’un système nommé relais de sécurité.

Le stage consiste à réaliser des développements exploratoires ou développer des outils d’ingénierie utilisés pour le développement d’applications sécuritaires dans le domaine ferroviaire, à savoir :

Écrire les spécifications techniques.
Réaliser une maquette fonctionnelle.
Écrire les spécifications de test et de validation de cette maquette.
Réaliser ou faire réaliser le routage de la carte.
Tester le système.

Compétences demandées : électronique analogique, relais.
Localisation : Aix en Provence
Rémunération mensuelle :
o Bac+5 : 417€ + 385€ d’indemnité de logement si foyer distant de plus de 50km
o Bac+4 : 417€
Durée : 5 mois souhaités, 3 mois minimum

STAGE 1 – CLE_2011_001 – POURVU

Amélioration de l’Atelier B

Le stage consiste à ajouter de nouvelles fonctionnalités à l’outil de génie logiciel Atelier B. Les travaux à réaliser consisteront au minimum à :

finaliser l’intégration de l’animateur de modèle formel Brama. Cet animateur, initialement développé en Java pour l’environnement Eclipse, est en cours de portage sous C++/Qt.
de réaliser l’interfaçage avec les environnements Flash et Unity afin de pouvoir commander des animations graphiques par l’intermédiaire de sockets pour des applications distribuées.
de créer une interface XML pour le compilateur B, afin de pouvoir charger et sauvegarder des modèles formels.
de programmer un pattern-matcheur générique, qui permettrait d’optimiser les recherches de patrons sur des formules B (modèle, règle mathématique, prédicat), etc.).

Compétences demandées : QT, C++
Localisation : Aix en Provence
Rémunération mensuelle : 500€ + 300€ d’indemnité de logement si foyer distant de plus de 50km
Durée : 5 mois minimum

STAGE 2 – CLE_2011_002 – POURVU

Outil de traçabilité entre exigence de sécurité et modèle B

Le stage consiste à développer un outil permettant de gérer les exigences d’un développement formel, c’est-à-dire de lier une exigence avec le code qui implémente celle-ci, ainsi que de gérer ces exigences (visualisation, parcourt, modification, etc.).

Les travaux à réaliser consisteront au minimum à :

Réaliser une interface graphique. Cette interface, réalisée avec Qt, devra permettre d’établir la correspondance entre les exigences (format XML à définir, les exigences seront par défaut « à plat » mais pourront être hiérarchisées) et un modèle B. Un exemple d’interface est fourni ci-dessous.

L’interface devra permettre :

d’établir les liaisons de manière graphique, avec explication de ces liaisons,
à partir d’une exigence, de retrouver toute les parties de modèle B qui lui corresponde,
à partir d’une opération B, de retrouver toutes les exigences qui lui corresponde,
d’afficher la couverture des exigences et du code,
de faire évoluer les liens et explications lors de la modification des données d’entrée (modèle, document).

Intégrer cette interface à l’Atelier B. Ce dernier est un outil de développement de logiciels sécuritaires à partir de modèles B. Il s’agira dans cette partie de pouvoir récupérer les exigences sécuritaires des documents ainsi que les modèles B et de les mettre en relation :
- extraction du code à partir de l’arbre syntaxique du projet B.
- extraction des exigences d’une spécification client (généralement sous forme de document au format Word).

Générer un rapport de liaison livrable au client. Généralement sous format Word, ce rapport devra contenir toutes les informations utiles permettant de garantir le respect des exigences sécuritaires ainsi que la liaison entre exigences et modèles. Ce rapport peut contenir les informations suivantes :
- liaisons et explications.
- graphe des appels.
- table de lien des variables.
- table de correspondance fonctionnelle.
- suivi des points en erreur.

Compétences demandées : QT, C++
Localisation : Aix en Provence
Rémunération mensuelle : 500€ + 300€ d’indemnité de logement si foyer distant de plus de 50km
Durée : 5 mois minimum

STAGE 3 – CLE_2011_003 – POURVU

Programmation sécuritaire embarquée sur PIC32

Le stage consiste à développer des outils d’ingénierie utilisés pour le développement d’applications sécuritaires dans le domaine ferroviaire. Ces outils et applicatifs seront développés sur microcontrôleur PIC 32 (MX795L).

Les travaux à réaliser consisteront à :

Développer un bootloader sur PIC32. Ce logiciel permettra de programmer une mémoire Flash via une interface USB, sur une carte électronique propriétaire, afin d’éviter d’avoir à démonter cette mémoire pour reprogrammation.
Développer un bootloader en sécurité. Ce bootloader sera doté de capacités supplémentaires permettant de vérifier que le code chargé en mémoire Flash n’est pas corrompu (CRCs, délimitateurs, etc.).
Porter une application de comptage. Cette application réalise un comptage des essieux qui passent à proximité d’un capteur magnétique (DRF). Cette application (1500 lignes de C), initialement développée sur MOXA doit être portée sur PIC32. Il s’agira d’adapter et/ou de redévelopper les fonctions d’initialisation, de gestion des entrées sorties et d’enregistrement des traces.

Compétences demandées : PIC32, C, assembleur
Localisation : Aix en Provence
Rémunération mensuelle : 500€ + 300€ d’indemnité de logement si foyer distant de plus de 50km
Durée : 5 mois minimum