Atelier B, from Steria to Clearsy



https://fr.wikipedia.org/wiki/Steria
 

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.
 
https://www.clearsy.com/clearsy/historique/ 
 
https://www.atelierb.eu/en/ 
 


1990 to 2000 

1993: Start of industrialisation Atelier B for use in METEOR safety software 

1994: Distribution of the first Atelier B version 

1998: Industrial version of Atelier B and commissioning of the METEOR metro 

From 2000 to 2010 

2001: Creation of CLEARSY to develop method B. Two agencies: Aix-en-Provence and Paris. 

2002: First version of a system formal language. Use of method B for the realisation of the operating principles of Peugeot 206, 307, 407 cars (Documentation of the functional). 

2003: Creation of the Operational Safety (SDF) activity 

2004: Provision of a free tool for the use of method B for academics: B4Free 

2005: Realization of industrial system specification with method B. 

2006: Beta Test version of a formal system specification tool: Composys. – Commissioning of the Coppilot safety system for controlling the platform screen doors line 13.


2007: Development of Brama, a model B graphic animation tool. Installation of the COPP system on the Châtillon station in Paris, integrating security equipment developed by CLEARSY. 

2008: Provision of a free version of Atelier B 4.0 and provision of modules under a free license.


Comments

Post a Comment

Popular posts from this blog

Ce que je dois à Jean-Raymond Abrial

Image
 Quand ai-je découvert Jean-Raymond Abrial ?  Peut-être bien que c'est quand j'ai fait acheter les actes de la conférence de Cargèse et que j'ai lu son article Data Semantics . Ou est-ce lors de la lecture des publications de la DER-IMA d'EDF (située à Clamart) ? Ce qui est sûr c'est que j'ai découvert Z dans le Meyer Baudoin, Méthodes de Programmation chez Eyrolles, puis dans le Delobel Adiba, Bases de données chez Dunod. Quand j'ai débuté en "informatique de gestion" (en I.U.T "Informatique") je trouvais que ce que je lisais était bien peu "scientifique". "Information" "donnée" "rubrique" etc.  Pour "donnée" j'ai appris les théorèmes de Jean-Louis Rigal qui était prof à l'Université Dauphine. Facile : Th1, "Une donnée n'est pas donnée" car c'est le résultat d'une abstraction, Th 2. "Une donnée n'est pas donnée" car une fois donnée, ce n'est...
Read more

Jean-Raymond Abrial (1938, 2025)

Image
  Jean-Raymond Abrial (1938, 2025) Jean-Raymond Abrial est décédé les 26 mai 2025 la vieille de la conférence qui a eu lieu dans le cadre des Journées Scientifiques de l'université de Nantes et qui traitait de ses travaux et de leur mise en oeuvre dans différentes domaines.J.-R Abrial est né en 1938 à Versailles. Après des études au Prytanée militaire de la Flèche, il fera l'Ecole Polytechnique. En 1960 il sera ingénieur du génie maritime. Il sera boursier du gouvernement français à Stanford University puis au Centre de Programmation de la Marine où il travaillera sur une version du langage LTR (Langage Temps Réel). C'est là que Gérard Le Lann, qui a fait partie de l'équipe ayant conçu Internet, l'a connu. J.-R Abrial est pour lui "l'un des plus grands informaticiens français ! Peu enclin à épouser les « modes » qui agitent plus ou moins régulièrement les communautés scientifiques. Liberté de penser, de créer, et liberté d'essaimer !".A Grenoble, d...
Read more

On B, Jean-Raymond Abrial

 Cet article date du temps où Jean-Raymond Abrial habitait rue des plantes à Paris. Digilog était deveni Steria, mais pas encore Clearsy. Donc d'avant 2001. On B Jean-Raymond Abrial Consultant, 26, rue des Plantes, 75014, Paris. abrial@steria.fr In  the B-Book [Abr96], an introduction entitled “What is B ?” presents it in a few pages. There is no point in reproducing this introduction here. There is, however, clearly a need to have in this book a sort of informal presentation of B complementing that of the B-Book for those readers who are not familiar with this approach. This is the purpose of this short text, where the emphasis will be put on the question of the development process with B. At the end of the text, I will also cover some more general problems concerning B (tool, education, research, future). B is o “Debugger”. The aim of B is very practical. Its ambition is to provide to industr...
Read more