Description
Techniques industrielles de modélisation formelle pour le transport
Traité RTA, série Informatique et Systèmes d'Information
Author: BOULANGER Jean-Louis
Language: FrenchSubjects for Techniques industrielles de modélisation formelle pour...:
Publication date: 09-2011
352 p. · 15.6x23.4 cm · Hardback
352 p. · 15.6x23.4 cm · Hardback
Description
/li>Contents
/li>
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).
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.
© 2024 LAVOISIER S.A.S.