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

Damien Deville 1 Alexandre Courbot 1, 2 Gilles Grimaud 1, 2
1 POPS - System and Networking for Portable Objects Proved to be Safe
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe, IRCICA
Résumé : 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.
Type de document :
Communication dans un congrès
3ème Conférence Française sur les Systèmes d'Exploitation (CFSE'3), 2003, La Colle sur Loup, France, 2003
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00113776
Contributeur : Alexandre Courbot <>
Soumis le : mardi 14 novembre 2006 - 13:56:22
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : mardi 6 avril 2010 - 22:35:48

Identifiants

  • HAL Id : inria-00113776, version 1

Collections

Citation

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, 2003. 〈inria-00113776〉

Partager

Métriques

Consultations de la notice

276

Téléchargements de fichiers

217