Couvre les concepts d'isolement et de protection dans les systèmes informatiques, en mettant l'accent sur la sécurité des processus et les techniques de gestion des ressources.
Couvre le rôle du système d'exploitation en tant qu'arbitre dans la gestion des ressources et la sécurité grâce à l'isolement des pannes, au partage des ressources et à la communication.
Explore la fin de la diffusion fiable et du commit atomique non bloquant dans les systèmes distribués, couvrant l'accord, le consensus et l'engagement de transaction.
Discute de la nécessité d'une fiabilité éprouvée dans les systèmes informatiques et de l'approche rigoureuse pour atteindre une véritable fiabilité dans les systèmes critiques.
