Vous êtes ici : Accueil » Stages

Utilisation du Scripting pour la personnalisation de cartes à puce

Gemplus (Gémenos - 13)

Stage étudiant en entreprise de six mois. Avril 2003- Septembre 2003.

Contexte:
Le chargement d'applications et de données dans les cartes à puce est de plus en plus complexe, et spécifique aux besoins de chaque client. Les logiciels impliqués dans ce traitement, depuis la gestion des informations stockées dans chaque carte, jusqu'à la personnalisation des puces elles-mêmes, doivent faire face à cette variabilité, ce qui oblige à des développements spécifiques systématiques. La technologie du scripting, notamment l'intégration d'un interpréteur Javascript, peut s'avérer une évolution avantageuse de ces logiciels vers une meilleure adaptabilité à ces besoins spécifiques.

Objet du projet:
Le projet consiste à étudier les possibilités, les contraintes et les conséquences de l'intégration de la technologie du scripting dans les outils de personnalisation de cartes à puce. Devront notamment être abordées les questions suivantes :

définition/standardisation de l'environnement d'exécution des scripts (APIs disponibles, conventions), en fonction des applications,
contraintes spécifiques aux logiciels embarqués (ressources limitées)
prise en compte des performances
gestion de la sécurité (usage de la cryptographie pour assurer l'authenticité et le secret)
étapes nécessaires à la fourniture des éléments nécessaires au développement efficace et sûr des scripts
réutilisation / généralisation / standardisation de concepts similaires d'une application à une autre.

Réalisation:
L'étude sera mise en pratique sur un ou deux cas concrets :

Développement d'une version embarquée (équipement de production) de plate-forme de personnalisation de cartes à puces, à partir d'un prototype fonctionnant sur table (PC/Windows) et implémentant le standard international de référence du domaine (Global Platform).
Ajout d'un module de scripting à un logiciel de traitement des données pour cartes SIM/GSM, pour en améliorer la flexibilité.

[Rapport.doc] [Presentation.ppt] 

Dictionnaire EPC

USINOR SI (SOLLAC, Fos /s Mer)

Stage étudiant en entreprise de cinq mois en 2001-2002.

Le stage s'est déroulé à Usinor SI, service informatique du Groupe Usinor, premier producteur d'acier européen.

Le stage s'inscrit dans le cadre du projet EPC (Evaluation Prévisionnelle des Capabilités), projet permettant de qualifier les produits au rythme de la production, de détecter les écarts prévu/réalisé, et d'effectuer des diagnostics sur ces informations.

Durant le stage, il s'agit de développer une application Dictionnaire, véritable livre ouvert sur la configuration de l'EPC. Le Dictionnaire permettra d'afficher l'ensemble des données manipulées par l'EPC, les liens entre ces données, et les traitements effectués sur ces données.

Le Dictionnaire est une application intranet évoluée, qui traite des fichiers au format XML. Elle n'envoit au client que du code HTML, c'est à dire que tous les traitements de présentation s'effectuent côté du serveur et non côté client.

[Sujet.doc] [Rapport.pdf] [Annexes.pdf] [Article.pdf] [Presentation_Powerpoint.pdf] 

Simulateur de langages synchrones

CMA (Sophia Antipolis)

Projet réalisé au Centre de Recherche en Mathématiques Appliquées (Ecole des Mines de Paris) à Sophia Antipolis. 2002-2003.

Ce projet s'inscrit dans le cadre des langages réactifs synchrones. Un des modèles de compilation d'un programme réactif synchrone est l'automate à états finis (FSM) sur lequel on peut appliquer des techniques de vérification de propriétés, à base de model-checking. Ces propriétés sont exprimées sous la forme de formules de logiques temporelles, qui décrivent des comportements du programme. Quand une propriété n'est pas vérifiée, les outils de model-checking donnent un contre-exemple sous la forme de chemins dans l'automate.

Le sujet de ce projet consiste à implémenter un visualisateur d'automates et de formules de logiques temporelles à des fins de simulations de vérifications de propriétés.

On s'appuiera sur l'outil de model-checking NuSMV.

[Rapport.pdf] [Presentation.ppt] 

Routage et Reroutage dans les réseaux mobiles

CNRS (Montpellier)

Stage étudiant de recherche d'un mois en 2001.

Dans un réseau fixe, le routage n'est effectué qu'une fois. Dans le réseau mobile, suite à des déplacements des extrémités de la connexion, il est nécessaire d'établir un nouveau chemin en effectuant un handover et un re-routage de la communication en cours.

Nous présentons d'abord la structure du réseau GSM en parallèle à une structure réseau en grille. Puis nous étudions les différents types de routage connus à ce jour. Enfin, nous étudions les diverses techniques de re-routage suite à un handover, en cherchant à mettre en évidence la technique optimale pour économiser les ressources.

[Rapport.pdf] [Transparents_Powerpoint.pdf]