Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/inria-00113776
Contributor : Alexandre Courbot <>
Submitted on : Tuesday, November 14, 2006 - 1:56:22 PM
Last modification on : Wednesday, April 7, 2021 - 3:00:01 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 10:35:48 PM

Identifiers

  • 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. ⟨inria-00113776⟩

Share

Metrics

Record views

362

Files downloads

268