Présentation d'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. Les techniques formelles servent à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. ©Electre 2025
Informatique et Systèmes d'Information
Les techniques formelles réalisent des modèles de spécifications et/ou de conception servant à 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 introduction 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és par le logiciel.
Cet ouvrage présente des exemples concrets de mise en oeuvre des techniques (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 ou fret).
Paru le : 25/09/2011
Thématique : Auto/Moto
Auteur(s) : Non précisé.
Éditeur(s) :
Lavoisier-Hermès
Lavoisier
Collection(s) : Informatique et systèmes d'information
Contributeur(s) : Directeur de publication : Jean-Louis Boulanger
Série(s) : Non précisé.
ISBN : 978-2-7462-3230-3
EAN13 : 9782746232303
Reliure : Cartonné
Pages : 351
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 1.6 cm
Poids: 650 g
Carte fidélité
Mollat Radio
