Systèmes sûrs

L’équipe « Systèmes Sûrs » consacre ses recherches à la spécification, la conception, la vérification et l’évaluation des systèmes, en particulier des applications critiques du point de vue de la sûreté et de la sécurité. L’objectif est de développer des méthodes, techniques et outils permettant d’énoncer les propriétés recherchées pour des applications et de démontrer que ces applications satisfont les propriétés attendues. Toutes les recherches menées dans notre équipe rentrent dans le cadre général des méthodes formelles. Nos activités s’articulent autour de trois axes : l’axe « Typage, Sémantique et Preuves », l’axe « Architecture Logicielle, Architecture Système et Lignes de produits et l’axe « Vérification et Evaluation de Systèmes Parallèles et Asynchrones ».