Université Lille1 - Sciences et Technologies CamilleRT : un système d'exploitation temps réel extensible pour carte à microprocesseur CamilleRT 005.43 Systèmes d'exploitation (ordinateurs) Temps réel (informatique) Cartes à mémoire Systèmes ouverts (informatique) Systèmes enfouis (informatique) Text Electronic Thesis or Dissertation fr Le logiciel carte est de plus en plus conçu pour supporter des contraintes temps réel. Par exemple, dans les cartes Java SIM, l'application principale èst chargée de générer une clef cryptographique de session pour chaque unité de communication consommée faute de quoi l'infrastructure GSM rompt la communication. Actuellement, les systèmes d'exploitation pour carte à puce ne gèrent l'aspect temps réel qu'au cas par cas. Ils ne permettent pas aux applications utilisateur de signifier des besoins en termes d'accès au microprocesseur, ceci pour des raisons de sécurité. Nous proposons une architecture logicielle embarquée 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 réel au dessus de l'exo-noyau garantissant la disponibilité du microprocesseur. Nous avons montré les faiblesses des solutions initialement préconisées pour supporter du temps réel 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 accès au microprocesseur. Nous avons mis en avant les propriétés fonctionnelles que nous attendons de ces ordonnanceurs collaboratifs et nous avons proposé une architecture distribuée permettant de charger ét de valider ces propriétés. Cette architecture de partage du microprocesseur a été validée expérimentalement dans CamilleRT. application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2004/50376-2004-249.pdf Deville Damien 1900-01-01 087097168 2004LIL10105 2004-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui Simplot David 076987787 Grimaud Gilles 122743083 ddc:000 ASCII PDF 9999