Séance de cours
Recherche sur les systèmes dignes de confiance
Description
Cette séance de cours donne un aperçu du programme de recherche sur les systèmes fiables, en soulignant la nécessité d'une fiabilité éprouvée dans les systèmes informatiques en raison de vulnérabilités croissantes dans les systèmes embarqués. L'instructeur discute des défis liés à la vérification de systèmes complexes, des concepts d'isolement physique et logique, des décisions de conception derrière le micronoyau SEL4 et de l'approche rigoureuse pour atteindre une véritable fiabilité dans les systèmes critiques.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.