Atelier B, from Steria to Clearsy
De 1990 à 2000
1993 : Démarrage de l’industrialisation Atelier B pour une utilisation dans les logiciels de sécurité METEOR
1994 : Distribution de la première version Atelier B
1998 : Version industrielle de l’Atelier B et mise en service du métro METEOR
De 2000 à 2010
2001 : Création de CLEARSY pour développer la méthode B. Deux agences : Aix-en-Provence et Paris.
2002 : Première version d’un langage formel système.
Utilisation de la méthode B pour la réalisation des principes de
fonctionnement des voitures Peugeot 206, 307, 407 (Documentation du
fonctionnel).
2003 : Création de l’activité Sûreté de Fonctionnement (SDF)
2004 : Mise à disposition d’un outil gratuit d’utilisation de la méthode B pour les académiques : B4Free
2005 : Réalisation de spécification de systèmes industriels avec la méthode B.
2006 : Version Beta Test d’un outil de spécification formelle de système : Composys. – Mise en service du système sécuritaire Coppilot de commande des portes palières ligne 13.
2007 : Développement de Brama, un outil d’animation graphique de modèle B. Installation du système COPP sur la station Châtillon de Paris, intégrant du matériel sécuritaire développé par CLEARSY.
2008 : Mise à disposition d’une version gratuite de l’Atelier B 4.0 et mise à disposition de modules sous licence libre.
2005 : Réalisation de spécification de systèmes industriels avec la méthode B.
2006 : Version Beta Test d’un outil de spécification formelle de système : Composys. – Mise en service du système sécuritaire Coppilot de commande des portes palières ligne 13.
2007 : Développement de Brama, un outil d’animation graphique de modèle B. Installation du système COPP sur la station Châtillon de Paris, intégrant du matériel sécuritaire développé par CLEARSY.
2008 : Mise à disposition d’une version gratuite de l’Atelier B 4.0 et mise à disposition de modules sous licence libre.
Comments
Post a Comment