Extensions Temps-Réel pour Exo-Noyau Embarqué - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2003

Extensions Temps-Réel pour Exo-Noyau Embarqué

Abstract

Les cartes à puces sont des petits objets portables axés principalement sur la sécurité ($10^9$ unités vendues principalement en Asie et en Europe). Afin de permettre aux logiciels encartés de supporter plus de services, les systèmes d'exploitation pour cartes ont évolué d'une plateforme d'exécution monolithique dédiée vers des architectures systèmes plus ouvertes qui supportent le chargement dynamique de code. Cet article présente les problèmes temps-réel du système d'exploitation pour carte Camille, qui présente les caractéristiques suivantes : chargement dynamique de code, vérification de type embarquée, compilation à la volée, et chargement dynamique de composants systèmes. D'une manière plus générale, il traite des difficultés à accorder les extensions temps-réel avec les principes des exo-noyaux.
Fichier principal
Vignette du fichier
deville-cfse-03.pdf (191.04 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00113776 , version 1 (14-11-2006)

Identifiers

  • HAL Id : inria-00113776 , version 1

Cite

Damien Deville, Alexandre Courbot, Gilles Grimaud. Extensions Temps-Réel pour Exo-Noyau Embarqué. 3ème Conférence Française sur les Systèmes d'Exploitation (CFSE'3), 2003, La Colle sur Loup, France. ⟨inria-00113776⟩
208 View
240 Download

Share

Gmail Mastodon Facebook X LinkedIn More