Applications industrielles
La méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés

Ajouter à la bibliothèque

SE2525 V1 Article de référence

Applications industrielles
La méthode B pour la spécification et la réalisation de logiciels et de systèmes critiques prouvés

Auteur(s) : Jacques valancogne

Date de publication : 10 janvier 2012 | Read in english

Ajouter à la bibliothèque Ajouter à la bibliothèque

Logo Techniques de l'Ingenieur Cet article est réservé aux abonnés
Pour explorer cet article plus en profondeur Consulter un extrait gratuit

Déjà abonné ?

9. Applications industrielles

9.1 Utilisation de B et les secteurs industriels

Le secteur industriel qui utilisait B était essentiellement au début le transport ferroviaire, certainement à cause de l'expérience difficile vécue sur le projet SACEM de la ligne A du RER, et grâce aux investissements importants consentis par la RATP, la SNCF et l'INRETS pour rendre la méthode industrielle, et aux travaux de SIEMENS TRANSPORTATION SYSTEM pour les automatismes de sécurité de la ligne 14 (METEOR).

Nota :

SACEM est un système d'aide à la conduite, à l'exploitation et à la maintenance, mis en service en 1988, qui équipe la ligne A du RER et qui a permis d'augmenter la capacité de transport de près de 20 % ; il comporte des logiciels très critiques.

...
Cet article est réservé aux abonnés
Logo Techniques de l'Ingenieur

Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.

Cet article est réservé aux abonnés Consulter un extrait gratuit

Déjà abonné ?


Article inclus dans l'offre

"Sécurité et gestion des risques"

( 510 articles )

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques.

Services

Quiz, médias, tableaux, formules, vidéos, etc.

Des modules pratiques

Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.

Des avantages inclus

Un ensemble de services exclusifs en complément des ressources.

Voir le détail de l'offre

Dans les ressources documentaires

Modélisation par bond graph - Éléments de base pour l’énergétique

De par l’interaction de plusieurs phénomènes de natures diverses (stockage, dissipation d’énergie…), et l...

Modélisation par bond graph - Application aux systèmes énergétiques

L’outil bond graph a la capacité de pouvoir décrire la complexité des systèmes énergétiques, en grande ma...

Validation des résultats des logiciels scientifiques - Approche stochastique

La méthode CESTAC (Contrôle et estimation stochastique des arrondis de calculs) consiste à évaluer la fia...

Quantification de la fiabilité des logiciels

Cet article décrit les fondements théoriques de la quantification de la fiabilité du logiciel et en expli...

WhitePaper Google DeepMind
7 septembre 2016
Google DeepMind

L\'intelligence artificielle est-elle en train de prendre le dessus de l\'homme ?

Tous les livres blancs
Toutes les actualités

Inscrivez-vous aux newsletters !

Contactez-nous