Implémentation des événements de l'approche réactive sur une plateforme JAVACARD

Loading...
Thumbnail Image

Date

2011

Journal Title

Journal ISSN

Volume Title

Publisher

Université Mouloud Mammeri

Abstract

Le thème du projet est l'implémentation des événements de l'approche réactive au-dessus de JavaCard. En effet, JavaCard c'est une technologie qui à rencontrée un grand succès, pas moins d'un milliard de cartes JavaCard se vendent chaque années. Cependant, c'est un sous ensemble de Java qui à été utilisé, en-effet, des concepts importants tel que la programmation de la concurrence, notamment avec les threads Java, ne sont pas retenus à cause de la contrainte mémoire des carte à puce et des systèmes embarqués en générale. De plus, la programmation utilisant les "threads" classiques est extrêmement difficile et sujette à erreurs, pour une raison essentielle qui est que le programmeur ne maitrise pas leur ordonnancement. La sémantique du programme apparaît donc comme non déterministe et oblige le programmeur à installer des verrous dans son code pour protéger la manipulation des données partagées. A ce la une solution existe : la programmation réactive. Celle-ci offre une alternative au "multi-threading" classique: le parallélisme y est déterministe, la communication par évènements diffusés rend le code plus modulaire. L'Approche Réactive, élaborée par Frédéric BOUSSINOT, est issue de travaux menés autour du Synchrone et principalement du langage Esterel. Plusieurs langages sont engendrés par cette approche dans Junior qui est le fruit des travaux menés autour des SugarCubes, Junior reprend les principales instructions définies dans le formalisme des SugarCubes en donnant à celles-ci une sémantique formelle à base de règles de réécritures. Mon travail consiste donc, à choisir parmi les implémentations de junior, car celui-ci est formalisé, celle qui peut être adapté, en procédant à des élagages et des modifications afin qu'elle puisse tourner sur une plateforme JavaCard, donc, tenir comptes des caractéristiques Java supportées et aussi arriver à une version inferieur ou égale à 24 kilo Octet (la taille de la ROM d'une carte à puce actuelle). Cette version allégée doit prendre en charge l'expression du parallélisme (l'instruction Par) et la communication par la diffusion des événements (toutes les instructions événementielles). Mot Clés : JavaCard, cartes à puce, approche réactive, approche synchrone, sémantique Opérationnel Structurelle, Junior, SugarCubes, programmation concurrente, thread. Thèse : Master en Informatique, Présenté : BERREKAIL Sofiane, Proposé : DEMRI Mohamed, Année : 2010-2011, Spécialité Systèmes Informatiques.

Description

116 f. : ill. ; 30 cm. (+ CD-Rom)

Keywords

Approches, Synchrone, Junior, Sugar Cubes, Threads, Programmation Concurrentielle, Cartes À Puce, Java Card, Sémentique Opérationonnelle Structurelle

Citation

Systéme Informatique