Démonstration de la sécurité opérationnelle de la téléconduite des trains : contexte, méthodologie et défis
- Authors
- Publication Date
- Oct 13, 2020
- Source
- HAL-INRIA
- Keywords
- Language
- French
- License
- Unknown
- External links
Abstract
Dans cette communication, nous présentons le contexte général ainsi que la méthodologie mise en oeuvre pour réaliser la démonstration de la sécurité opérationnelle de la téléconduite des trains fret. En complément, nous présentons une synthèse des résultats, soutenue par une discussion de la méthodologie.