19 janvier 2022
La mise à disposition de l’Atelier B 4.7 concrétise deux décennies d’exploitation industrielle de la méthode formelle B, avec le support de 24 projets de R&D collaboratifs pour des thématiques variées telles que la validation formelle de données, l’exécution sûre de programmes, la preuve mathématique, le raffinement automatisé de modèles ou la génération de VHDL.
Voici quelques métriques significatives :
- Plus d’un siècle.homme pour son développement jusqu’à ce jour
- Des logiciels générés sans bug détecté pendant plus de 20 ans d’exploitation
- Le freinage d’urgence garanti pour plus de 30% des métros automatiques dans le monde et pour plusieurs dizaines milliards de passagers cumulés
- Des politiques de sécurité formellement prouvées pour des microcircuits équipant des dizaines de millions de cartes à puces de par le monde
- L’ouverture en sécurité de portes palières pour le transit de milliards de passagers cumulés