Synthèse automatique du code OS

Cette séance de cours de l'instructeur aborde le thème de la synthèse automatique du code OS, en mettant l'accent sur les défis auxquels sont confrontés les développeurs de systèmes d'exploitation dans la configuration manuelle du matériel de traduction. La séance de cours présente le projet Velosiraptor, qui vise à alléger le fardeau des développeurs OS en générant automatiquement un code correct à partir d'une spécification comportementale. La séance de cours traite du processus de synthèse, des techniques de réduction de l'espace de recherche et d'un langage de spécification spécialisé utilisé dans le projet. Il met également en lumière les résultats de performance et les travaux en cours pour optimiser le processus de synthèse et traiter les dépendances de configuration globale.