Méthode B, pour des logiciels fiables

logo atelier bCe site a pour but de présenter les différents travaux et sujets de réflexion de Clearsy sur la méthode B, méthode formelle avec preuve de développement logiciel, supportée par l’Atelier B. Ces travaux et sujets de réflexion sont étroitement liés à des projets ou produits industriels qui sont commercialisés par ClearSy ou développés par / pour d’autres entreprises industrielles.

roissy 80x80 Cette méthode, développée depuis le début des années 1990, permet de construire de nombreux logiciels de part le monde, notamment dans le domaine du transport ferroviaire, comme le système de contrôle de vitesse par balise des trains Français, le pilote automatique du métro de Pékin ou les automatismes fixes de la navette automatique de l’aéroport Charles de Gaulle.

SPRAT 250x150 80x80La première application non ferroviaire a consisté à un construire un modèle formel fonctionnel des véhicules Peugeot 206 et 307, décrivant les propriétés essentielles de fonctionnement que doit respecter le véhicule avec un niveau de détail constant. Les diagnostics sont ensuite effectués en comparant le comportement réel du véhicule par rapport à ces règles de fonctionnement. Cette approche par modélisation formelle fonctionnelle a depuis été utilisée avec succès pour le véhicule militaire SPRAT en phase de développement afin notamment de faciliter les travaux de test et d’intégration.

Ariane 5 022 80x80Par ailleurs, la méthode formelle B est utilisée dans des domaines variés tels que l’espace (vérification du logiciel de séquencement de vol du lanceur Ariane 5, étude de flotte de satellites), la défense (analyse de systèmes de systèmes pour la production d’une norme d’interopérabilité de systèmes autonomes), le nucléaire (traitement de l’obsolescence de sous-systèmes élémentaires), la microélectronique (démonstration de sécurité d’une plateforme sécurisée d’un point de vue hardware, par la génération de code VHDL prouvé, et software, par la vérification d’un micro-noyau)

rd projects 80x80L’environnement de développement Atelier B est en constante amélioration, initialement au travers du soutien actif de la RATP, SNCF et INRETS puis d’une vingtaine de projets de R&D appliqués, nationaux et européens, publics et privés. De multiples projets industriels ont été nourris des résultats obtenus tout au long de ces 20 dernières années afin de fournir des implantations de référence sur la quasi totalité des continents. La méthode B a de fait obtenu un niveau de maturité élevé (TRL 9) pour le développement de logiciels sécuritaires dans l’industrie ferroviaire. Néanmoins nous avons identifié de nouveaux axes d’amélioration, voir la page consacrée à ce sujet.

Les commentaires sont fermés.