Intégration de systèmes hétérogènes en termes de niveaux de sécurité. (Integration of systems with heterogeneous security levels)

Cette these etudie les principes de mise en oeuvre pour l'execution sur un meme ordinateur, de tâches de niveaux de criticite differents, et dont certaines peuvent avoir des contraintes temps reel dur. Les difficultes pour realiser ces objectifs forment trois categories. Il faut d'abord prouver que les tâches disposeront d'assez de ressources pour s'executer; il doit etre ainsi possible d'avoir des politiques d'allocations et d'ordonnancement sures, previsibles et simples. Il faut egalement apporter des garanties de securite pour s'assurer que les tâches critiques s'executeront correctement en presence de defaillances ou malveillances. Enfin, le systeme doit pouvoir etre reutilise dans une variete de situations. Cette these propose de s'attaquer au probleme par la conception d'un systeme hautement securise, extensible, et qui soit independant des politiques d'allocation de ressources. Cela est notamment accompli par le pret de ressource, qui permet de decompter les ressources independamment des domaines de protection. Cette approche evite d'avoir a partitionner les ressources, ce qui simplifie le probleme global de l'allocation et permet de ne pas gâcher de ressources. Les problemes de type inversion de priorite, famine ou denis de service sont supprimes a la racine. Nous demontrons la faisabilite de cette approche e l'aide d'un prototype, Anaxagoros. La demarche que nous proposons simplifie drastiquement l'allocation des ressources mais implique des contraintes dans l'ecriture de services partages (comme les pilotes de peripheriques). Les principales difficultes consistent en des contraintes de synchronisation supplementaires. Nous proposons des mecanismes originaux et efficaces pour resoudre les problemes de concurrence et synchronisation, et une methodologie generale pour faciliter l'ecriture securisee de ces services partages.