Synthèse automatique du code OS

Cette séance de cours explore le concept de synthétisation 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. L'orateur, Reto Achermann de l'Université de la Colombie-Britannique, discute du processus fastidieux de lecture des manuels de matériel, de la complexité des unités de traduction et de la nécessité de vérifier l'exactitude. La séance de cours présente la chaîne d'outils Velosiraptor, qui construit automatiquement le code OS correct à partir d'une spécification, réduisant l'effort de développement et minimisant le risque d'erreurs.