|
Responsable
Michel BANÂTRE
tél : 02 99 84 72 85
banatre@irisa.fr
Le projet Solidor est depuis 1999 un projet bi-localisé
sur l'IRISA-INRIA Rennes et l'INRIA-Rocquencourt.
Ce site décrit les activités Rennaises. Des informations
sur les activités de Solidor à l'INRIA-Rocquencourt
sont disponibles à l'URL http://www-rocq.inria.fr/solidor.
Construction de systèmes d'exploitation
distribués
Un système d'exploitation distribué est un élément logiciel qui gère
des ressources matérielles et qui offre une infrastructure au-dessus
de laquelle différentes applications peuvent être bâties. Un système
d'exploitation distribué est un logiciel complexe, car il doit non
seulement être capable de gérer les ressources au niveau de chaque
élément de l'architecture distribuée, mais aussi être capable de gérer
ces mêmes ressources de manière globale à l'architecture distribuée.
La gestion des ressources doit être correcte, afin que le comportement
des applications soit conforme à leurs spécifications, et le service
fourni par le système d'exploitation doit être adapté aux applications,
par exemple en terme de temps de réponse, de tolérance aux fautes,
ou encore de sécurité. Nos recherches consistent à construire des
systèmes d'exploitation distribués en visant ces objectifs complémentaires
de correction et de qualité de service, ceci étant réalisé soit par
construction de nouveaux composants, soit par assemblage de composants
existants. Les domaines d'application visés par nos travaux incluent
le multimédia, les systèmes enfouis, les systèmes temps-réel, l'Internet
et l'informatique nomade.
Axes de recherche
- systèmes d'exploitation pour application embarquées non
critiques
- systèmes temps-réel strict sûrs de fonctionnement
- informatique mobile
|