Contribution à la robustesse des systèmes temps réel embarqués - Approches de dimensionnement du mécanisme de protection temporelle d'AUTOSAR OS. (Contribution to the robustness of embedded real time systems. Design approaches of the AUTOSAR OS timing protection mechanism)

Dominique Bertrand. Contribution à la robustesse des systèmes temps réel embarqués - Approches de dimensionnement du mécanisme de protection temporelle d'AUTOSAR OS. (Contribution to the robustness of embedded real time systems. Design approaches of the AUTOSAR OS timing protection mechanism). PhD thesis, University of Nantes, France, 2011. [doi]