Démonstration de la sécurité d'une application de signalisation en mode nominal et en modes dégradés par la preuve formelle

Jean-Marc Mota (1) , Evguenia Dmitrieva (2) , Amel Mammar (3, 4, 5) , Paul Caspi (6) , Salimeh Behnia (2) , Nicolas Breton (7) , Pascal Raymond (8)

1 Thales Communications & Security S.A.S [Velizy]
2 Département ING/STF/QS [Fontenay-sous-Bois]
3 TSP - INF - Département Informatique
4 SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
5 CNRS - Centre National de la Recherche Scientifique
6 Caspi-Conseils
7 Prover Technologie SAS
8 VERIMAG - IMAG - VERIMAG

Démonstration de la sécurité d'une application ferroviaire de signalisation en mode nominal et en modes dégradés par la preuve formelle

Domaines: Théorie et langage formel [cs.FL]; Réseaux et télécommunications [cs.NI]

Jean-Marc Mota, Evguenia Dmitrieva, Amel Mammar, Paul Caspi, Salimeh Behnia, et al.. Démonstration de la sécurité d'une application de signalisation en mode nominal et en modes dégradés par la preuve formelle. Techniques industrielles de modélisation formelle pour le transport, Hermès-Lavoisier, pp.145-185, 2012, 978-2-7462-3230-3. ⟨hal-00796381⟩