Séance de cours

Synthèse automatique du code OS

Description

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.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace
À 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.