Contact
 Support et Maintenance Atelier B

SITES PROJET
Visiter les liens ci-dessous

> 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

SITES B
Visiter les liens ci-dessous

> 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

Contrôle et commande sécuritaire de façades de quais.

COMPOSYS – www.composys.fr

Outil de conception formelle d’architecture système.

FERSIL – www.fersil-railway.com

L’offre de FERSIL dans le domaine du ferroviaire.

COPP – www.copp.fr

Façades de quais de la station de métro Paris-Châtillon.

BRAMA – www.brama.fr

Outil de modélisation graphique appliqué aux méthodes formelles B.

DOF1 – www.dof1.eu

Dispositif d’ouverture et de fermeture des façades de quai Ligne 1. SIL3.

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

Site de la société CLEARSY, spécialiste en systèmes sécuritaires.

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

Présentation de l’outil Atelier B pour déployer la méthode B

Plus d'informations sur "Support et Maintenance Atelier B"

Copy link
Powered by Social Snap