Techniques industrielles de modélisation formelle pour le transport

Jean-Louis Boulanger

Parution le 27/09/2011

Ajouter à une liste

Expédié sous 5 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

Résumé

Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent à l'analyse statique de code, à la démonstration du respect de propriété, à la bonne gestion des calculs sur les flottants, etc. Dès la première mise en oeuvre des logiciels au sein d'un équipement, la RATP a mis en oeuvre les techniques formelles afin de démontrer que des impératifs de sécurité sont respectées par le logiciel. Cet ouvrage présente des exemples concrets de mise en oeuvre des techniques formelles (simulation, "model-checking", preuve) et des méthodes formelles (méthode B, SCADE) sur des projets de transport ferroviaire de type métro et grande-ligne (ligne classique, TGV, ERTMS, fret).

L'auteur - Jean-Louis Boulanger

Jean-Louis Boulanger est évaluateur indépendant de la sûreté (ISA) dans le domaine ferroviaire. Ses recherches portent sur les exigences, la vérification et la validation des logiciels, la traçabilité et les RAMS, et mettent l'accent sur la sécurité.

Autres livres de Jean-Louis Boulanger

Ingénierie des exigences

Maitriser la sécurité des systèmes programmables

Mise en oeuvre de la méthode B

Outils de mise en oeuvre industrielle des techniques formelles

Découvrir tous les livres de Jean-Louis Boulanger

Caractéristiques techniques

	PAPIER
Éditeur(s)	Hermès - Lavoisier
Auteur(s)	Jean-Louis Boulanger
Parution	27/09/2011
Format	24 x 32
Couverture	Broché
Poids	650g
EAN13	9782746232303
ISBN13	978-2-7462-3230-3