Notice
Éviter la catastrophe grâce aux maths - #épisode4
- document 1 document 2 document 3
- niveau 1 niveau 2 niveau 3
Descriptif
Dans une centrale nucléaire, à bord d’un avion ou d’une voiture autonome, une erreur logicielle peut avoir des conséquences dramatiques. Au Centre Inria de Paris et à l’École normale supérieure , Timothy Bourke et son équipe construisent des preuves mathématiques capables de garantir la fiabilité de logiciels embarqués.
𝗟𝗲𝘂𝗿 𝗼𝘂𝘁𝗶𝗹 ? Les langages synchrones, véritables métronomes du code, qui orchestrent chaque action au bon instant, ni trop tôt, ni trop tard.
Pour vérifier que tout fonctionne “comme prévu”, les chercheurs utilisent des assistants de preuve, des programmes qui questionnent ligne après ligne le compilateur, jusqu’à obtenir une preuve formelle que tout est correct.
Un épisode au cœur des systèmes dits critiques, là où la science du code ne tolère aucune erreur.
Dans la même collection
-
Connexion des modèles numériques du coeur - #épisode8
Fernandez VarelaMiguel AngelSaviez-vous que les modèles informatiques permettaient aujourd'hui de simuler le cœur humain, battement par battement ?
-
Commander la machine avant qu’elle ne dérape - #épisode5
BrogliatoBernardSans qu'on n'y prête attention, les machines autour de nous se régulent d'elles-mêmes en temps réel : l'ascenseur ouvre ses portes exactement à l'étage souhaité, la voiture stabilise sa vitesse grâce
-
Modéliser une foule de manière réaliste - #Episode 2
HoyetLudovicOlivierAnne-Hélène"Modéliser une foule de manière réaliste", une plongée au cœur de la réalité mixte, entre science, illusion et perception.
-
Adapter les traitements médicaux grâce à l’IA - #Episode3
HumbertOlivierLorenziMarcoL’équipe médicale du Centre Antoine Lacassagne à Nice développe des modèles d’IA qui aident les médecins à personnaliser les thérapies, au plus près du profil de chaque patient.
-
Lutter contre les pop-up intrusives - #épisode1
NancelMathieuLoizeauAliceFenêtre pop-up qui apparaît sans prévenir, e-mail intempestif, onglet qui s’ouvre tout seul… Quand on consulte son ordinateur ou son smartphone, cliquer à l’endroit souhaité peut s’avérer un véritable
-
Rendre l'IA moins énergivore - #épisode6
SentieysOlivierAu Centre Inria de l’Université de Rennes, Olivier Sentieys, chercheur, s’attaque à un défi crucial : rendre les réseaux de neurones, au cœur de l’IA, beaucoup moins gourmands en énergie, sans perte
-
Reconstruire le mouvement humain - #épisode7
WuhrerStefanieAu Centre Inria de l’Université Grenoble Alpes, la chercheuse Stefanie Wuhrer met l’intelligence artificielle au service du corps en mouvement.
Sur le même thème
-
Conférence FORTRAN 2026-13 - Accidents et maladies liés aux travaux en forêt
Conférence FORTRAN 2026-13 - Accidents et maladies liés aux travaux en forêt
-
Mission Book, entre métadonnées et évaluation des risques: une application développée par et pour l…
GalletRaphaëlPrésentation du Mission book, application développée au laboratoire Edytem afin d'évaluer les risques préalablement aux missions.







