CamilleRT : un système d'exploitation temps réel extensible pour carte à microprocesseur

Le logiciel carte est de plus en plus concu pour supporter des contraintes temps reel. Par exemple, dans les cartes Java SIM, l'application principale est chargee de generer une clef cryptographique de session pour chaque unite de communication consommee faute de quoi l'infrastructure GSM rompt la communication. Actuellement, les systemes d'exploitation pour carte a puce ne gerent l'aspect temps reel qu'au cas par cas. Ils ne permettent pas aux applications > de signifier des besoins en termes d'acces au microprocesseur, ceci pour des raisons de securite. Nous proposons une architecture logicielle embarquee autorisant le partage de la ressource microprocesseur entre les extensions de l'exo-noyau Camille. Cette architecture permet aux extensions de supporter des tâches temps reel au dessus de l'exo-noyau garantissant la disponibilite du microprocesseur. Nous avons montre les faiblesses des solutions initialement preconisees pour supporter du temps reel dans les exo-noyaux et nous proposons un moyen de faire collaborer les extensions sous la forme d'un partage d'une de leurs politiques d'ordonnancement et d'une mutualisation de leurs acces au microprocesseur. Nous avons mis en avant les proprietes fonctionnelles que nous attendons de ces ordonnanceurs collaboratifs et nous avons propose une architecture distribuee permettant de charger et de valider ces proprietes. Cette architecture de partage du microprocesseur a ete validee experimentalement dans CamilleRT.