Trusted Collaborative Real Time Scheduling in a Smart Card Exokernel

Damien Deville 1 Christophe Rippert 1 Gilles Grimaud 1
1 POPS - System and Networking for Portable Objects Proved to be Safe
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe, IRCICA
Abstract : This paper presents the work we have conducted concerning real time scheduling in Camille, an exokernel dedicated to smart cards. We show that it is possible to embedded a flexible real-time operating system despite the important hardware limitations of the smart card platform. We present the major difficulties one has to face when integrating real time support in an exokernel embedded on a very resource-limited platform. We first present a naive solution consisting in allocating an equal time slice to every system extensions and letting each one share it as needed amongst its tasks. We show that this solution does not account for loading of new extensions in the system, and that it can fail if some extensions have much more work to carry out than the others. We then present a more complex solution based upon collaborative schedulers grouped as virtual extensions. We show that this solution supports dynamic loading of new extensions and works even for very unbalanced task repartitions. We finally address the issue of trust between the collaborating extensions and we propose a solution based on exhaustive testing and formal proving of the plan functions.
Type de document :
Rapport
[Research Report] RR-5161, INRIA. 2004
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00077048
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 29 mai 2006 - 11:59:42
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : vendredi 13 mai 2011 - 22:40:26

Fichiers

Identifiants

  • HAL Id : inria-00077048, version 1

Collections

Citation

Damien Deville, Christophe Rippert, Gilles Grimaud. Trusted Collaborative Real Time Scheduling in a Smart Card Exokernel. [Research Report] RR-5161, INRIA. 2004. 〈inria-00077048〉

Partager

Métriques

Consultations de la notice

253

Téléchargements de fichiers

304