Safe Collaboration in Extensible Operating Systems: A study on real-time extensions

Abstract : This article proposes a solution to guaranty safe inter- action to components that are willing to collaborate in an extensible operating system that guaranties isolation. We focus on components used in extensible operating systems for smart objects. We propose a simple way to verify the behaviour of some components using an extension of the type system by addition of argument passing mode information to the method signatures (is the argument read, written, or remembered as reference?). We present a formalization of a PCC- like algorithm (off-card proof generator and on-card proof verifier) to statically check the mode type of the components in the Camille exokernel for smart cards. We apply our technique to ensure trust between collaborative real time extensions with the aim of supporting safe dynamic loading of scheduling policy.
Type de document :
Article dans une revue
International Journal of Computers and Applications, ACTA Press, 2005, 27 (1), pp.20--26
Liste complète des métadonnées

https://hal.inria.fr/inria-00542546
Contributeur : Isabelle Simplot-Ryl <>
Soumis le : jeudi 2 décembre 2010 - 22:45:20
Dernière modification le : jeudi 11 janvier 2018 - 06:20:12

Identifiants

  • HAL Id : inria-00542546, version 1

Collections

Citation

Damien Deville, Yann Hodique, Isabelle Simplot-Ryl. Safe Collaboration in Extensible Operating Systems: A study on real-time extensions. International Journal of Computers and Applications, ACTA Press, 2005, 27 (1), pp.20--26. 〈inria-00542546〉

Partager

Métriques

Consultations de la notice

66