Nous utilisons des cookies pour vous proposer des contenus et services adaptés.
En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies.
Ce site respecte la loi RGPD du 25 mai 2018. Pour en savoir plus, cliquez ici
(+33) 02 47 61 20 22 Du lundi au vendredi de 10H à 16H30

Techniques industrielles de modélisation formelle pour le transport

Techniques industrielles de modélisation formelle pour le transport - hermès / lavoisier - 9782746232303 -
Techniques industrielles de modélisation formelle pour le transport 

Auteur : 

Editeur : Hermès / Lavoisier

Collection : RTA Informatique et systèmes d'information

Date parution :

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).


En suivant ce lien, retrouvez tous les livres dans la spécialité Informatique - Audiovisuel.

Descriptif : 

Reliure :
Relié
Nbr de pages :
352
Dimension :
16 x 24 cm
ISBN 10 :
2746232308
ISBN 13 :
9782746232303
99,00 €
Sur commande
Expédié 0.01€ sous 4 à 8 jours (en savoir+)

Avis clients sur Techniques industrielles de modélisation formelle pour le transport - hermès / lavoisier - RTA Informatique et systèmes d'information

(Ils sont modérés par nos soins et rédigés par des clients ayant acheté l'ouvrage)
Donnez votre avis

Sommaire

Introduction. Chapitre 1. Une approche innovante et une aventure humaine au service de la sécurité ferroviaire. Chapitre 2. SAET-METEOR. Chapitre 3. Preuve de propriétés globales à l'aide de l'outil de preuve SIMULINK DESIGN VERIFIER. Chapitre 4. Démonstration de la sécurité d'une application ferroviaire de signalisation en mode nominal et en modes dégradés. Chapitre 5. Utilisation de la preuve formelle dans le CBTC (OCTYS). Chapitre 6. Validation d'automatismes ferroviaires de sécurité à base de réseaux de Petri. Chapitre 7. ERTMS Formal Specs : un langage dédié pour la formalisation des spécifications pour le développement d'unité bord ERTMS. Chapitre 8. Synthèse et conclusions. Conclusion. Bibliographie. Glossaire. Index.