Techniques industrielles de modélisation formelle pour le transport
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.
Enregistré dans:
Autres auteurs : | |
---|---|
Format : | Livre |
Langue : | français |
Titre complet : | Techniques industrielles de modélisation formelle pour le transport / sous la direction de Jean-Louis Boulanger |
Publié : |
Paris :
Hermès science publications
, impr. 2011 Lavoisier |
Description matérielle : | 1 vol. (351 p.) |
Collection : | Informatique et systèmes d'information. Recherche, technologie, applications |
Sujets : |
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 œuvre des logiciels au sein d'un équipement, la RATP a mis en œuvre 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 œuvre 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) |
---|---|
Bibliographie : | Bibliogr. en fin de chapitres. Notes bibliogr. Glossaire. Index |
ISBN : | 978-2-7462-3230-3 |