Techniques industrielles de modélisation formelle pour le transport
Seiten
2011
Lavoisier-Hermès (Verlag)
978-2-7462-3230-3 (ISBN)
Lavoisier-Hermès (Verlag)
978-2-7462-3230-3 (ISBN)
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).
| Erscheinungsdatum | 06.10.2020 |
|---|---|
| Sprache | französisch |
| Maße | 160 x 240 mm |
| Gewicht | 650 g |
| Einbandart | Paperback |
| Themenwelt | Informatik ► Programmiersprachen / -werkzeuge ► Java |
| Schlagworte | Informatique et systèmes d'information, Recherche, technologie, applications • Informatique et systèmes d'information. Recherche, technologie, applications |
| ISBN-10 | 2-7462-3230-8 / 2746232308 |
| ISBN-13 | 978-2-7462-3230-3 / 9782746232303 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
mit über 150 Workouts in Java und Python
Buch (2023)
Carl Hanser (Verlag)
CHF 41,95
Einführung, Ausbildung, Praxis
Buch | Hardcover (2023)
Rheinwerk (Verlag)
CHF 69,85
