Comment les méthodes formelles sécurisent-elles nos systèmes critiques ?

Comment garantir que des systèmes critiques fonctionnent sans faille ? Natalia Kushik, maîtresse de conférences à Télécom SudParis et experte en méthodes formelles, développe avec des industriels comme Airbus et Orange des tests basés sur des modèles pour vérifier ces systèmes complexes. En combinant modèles non déterministes et aspects temporels, elle cherche à maximiser l’efficacité des tests tout en réduisant leur durée, un défi important pour la sécurité et la fiabilité des technologies numériques.

Hébergé par Ausha. Visitez ausha.co/politique-de-confidentialite pour plus d'informations.