Skip to Main content Skip to Navigation
Theses

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 metadatas

Cited literature [131 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00440329
Contributor : Matthieu Lemerre <>
Submitted on : Thursday, December 10, 2009 - 12:46:59 PM
Last modification on : Friday, September 11, 2015 - 9:54:17 AM
Long-term archiving on: : Thursday, October 18, 2012 - 10:35:59 AM

Identifiers

  • HAL Id : tel-00440329, version 1

Collections

CEA

Citation

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⟩

Share

Metrics

Record views

364

Files downloads

452