Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Cette séance de cours explore les propriétés critiques de l'intégrité du noyau et la vérification des spécifications du noyau pour assurer la sécurité du système. L'instructeur explique l'importance de prouver l'exactitude fonctionnelle, la sécurité de la mémoire et la terminaison dans la construction de systèmes réels. La séance de cours couvre également les concepts d'intégrité, de disponibilité, de confidentialité et d'actualité dans le contexte d'un système basé sur les capacités. La discussion s'étend à la vérification des pires temps d'exécution pour la construction de systèmes en temps réel, en soulignant le besoin de composants matériels et logiciels fiables. La séance de cours se termine par un aperçu de la synthèse des pilotes de périphériques et des systèmes de fichiers à partir de spécifications de haut niveau pour améliorer la fiabilité du système.