POUR DES LOGICIELS SANS DÉFAUTS
FOR DEFECT FREE SOFTWARES

EN SAVOIR +

QU'EST-CE QUE LA MÉTHODE B ?


B est une méthode de spécification formelle qui permet, grâce à un langage adéquat, d’exprimer très rigoureusement les propriétés exigées dans un cahier des charges…

EN SAVOIR +

MÉTHODE B - POUR DES LOGICIELS FIABLES


Ce 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.

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

EN SAVOIR +
pictos-16

NOS CONFÉRENCES MÉTHODE B


> ABZ 2014
> Le 28 Avril 2014 À L’INSTITU HENRI POINCARÉ : MÉTHODES FORMELLES ET LANGAGES POUR LE DÉVELOPPEMENT DE LOGICIELS FIABLES DANS L’INDUSTRIE
> ABZ 2014 – TOULOUSE du 2 au 25 Juin
> ERTS 2014
> SÉMINAIRE INRIA “INGÉNIÉRIE DES MODÈLES“