Contact
 Atelier B Support & Maintenance

PROJECTS WEBSITES
Check the following links :

> B : une méthode de développement de logiciels sûrs – Loïc Pelhate
>
B projects in the world
>
Computer safety, reliability, and security – Francesca Saglietti
>
Formal specification : a roadmap – Axel Va Lamsweerde

B SITES
Check the following links :

> Conférence ERTS 2012
> Méthode B (Wikipédia)
> Preuves formelles pour la ligne 7 de New York City Transit (Flushing), projet de modernisation
> SITE B Grenoble

COPPILOT – www.coppilot.fr

System to Open and Close the Platform Screen Doors.

COMPOSYS – www.composys.fr

Tool for formal design of systems architecture.

FERSIL – www.fersil-railway.com

CLEARSY’s offers in the train domain.

COPP – www.copp.fr

System to Open and Close the Platform Screen Doors at Paris Châtillon metro station.

BRAMA – www.brama.fr

Animation tool for models undergoing development.

DOF1 – www.dof1.eu

System to Open and Close the Platform Screen Doors; safety critical SIL4 system, to be installed on the line 1 of the Parisian subway.

SÛRETÉ DE FONCTIONNEMENT – www.clearsy.com/surete-fonctionnement

Le blog : Présentation de la sûreté de fonctionnement et ses enjeux.

CLEARSY – www.clearsy.com

Know-How of CLEARSY, specialist in safety critical systems and Operational Safety.

DIVERS – Site de l’école d’ingénieur ECE

ECE –  Engineering school: Tool to deploy the B method

More informations about "Atelier B Support & Maintenance"

Copy link
Powered by Social Snap