Skip to Main content Skip to Navigation

Intégration de systèmes hétérogènes en termes de niveaux de sécurité

Abstract : This thesis studies design and implementation principles to execute tasks of different criticity levels onto the same computer. Additionally, some of these tasks may have hard real-time constraints. This requires to prove that tasks will get enough resources to execute properly, through the use of predictible and still simple allocation policies. Moreover, ensuring that critical tasks will execute correctly in presence of faults is needed. In particular, providing guarantees on resource allocation should be possible. At last, the system should be easily adaptable to different situations. This thesis tackles these issues through a design proposal for a highly secure and extensible system, which is also independent of resource allocation policies. This is accomplished in particular by systematic use of resource lending, which allows to account for resources independently of protection domains. This approach avoids partitionning resources into pools, simplifying the global allocation problem and deleting every waste of resources. We demonstrate that this approach is feasible using a prototype implementation. This methodology dramatically simplifies resource allocation, but implies additional constraints when writing shared services (e.g. device drivers). In particular, specific new synchronization problems occur. Original mechanisms to solve these problems are proposed, and a methodology that helps writing these shared services.
Complete list of metadata

Cited literature [131 references]  Display  Hide  Download
Contributor : Matthieu Lemerre Connect in order to contact the contributor
Submitted on : Thursday, December 10, 2009 - 12:46:59 PM
Last modification on : Thursday, February 17, 2022 - 10:08:04 AM
Long-term archiving on: : Thursday, October 18, 2012 - 10:35:59 AM


  • HAL Id : tel-00440329, version 1




Matthieu Lemerre. Intégration de systèmes hétérogènes en termes de niveaux de sécurité. Réseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2009. Français. ⟨tel-00440329⟩



Record views


Files downloads