Comment les méthodes formelles sécurisent-elles nos systèmes critiques ?
Update: 2025-07-18
Description
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.
Comments
In Channel
Download from Google Play
Download from App Store
United States00:00
00:00
x
