Safety Invariant Verification that Meets Engineers’ Expectations

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	RSSRAIL (4. : 2022 : Paris) Reliability, safety, and security of railway systems
1. Verfasser:	Iliasov, Alexei (VerfasserIn)
Weitere Verfasser:	Laibinis, Linas (VerfasserIn), Taylor, Dominic (VerfasserIn), Lopatkin, Ilya (VerfasserIn), Romanovsky, Alexander (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2022
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Generating and Verifying Configuration Data with OVADO	2022	Badeau, Frédéric
Formal Design and Validation of an Automatic Train Operation Control System	2022	Amendola, Arturo
The 4SECURail Formal Methods Demonstrator	2022	Mazzanti, Franco
Assigning Safe Executed Systems to Meanings	2022	Burdy, Lilian
Investigating Human Error Within GoA-2 Metro Lines	2022	Hunter, Josh
Safety Invariant Verification that Meets Engineers’ Expectations	2022	Iliasov, Alexei
Acceleration Techniques for Symbolic Simulation of Railway Timetables	2022	Haehn, Rebecca
TASC: Transparent, Agnostic, Secure Channel for CBTC Under Failure or Cyberattack	2022	Tefek, Utku
Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth	2022	Budde, Carlos E.
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems	2022	Proença, José
Compositional Verification of Railway Interlockings: Comparison of Two Methods	2022	Fantechi, Alessandro
Analysis of Safety-Critical Communication Protocols for On-Premise SIL4 Cloud in Railways	2022	Rother, Benjamin
A Vision of Intelligent Train Control	2022	Flammini, Francesco
Enhancing Autonomous Train Safety Through A Priori-Map Based Perception	2022	Mahtani, Ankur
Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems	2022	Magnien, Airy
Optimal Railway Routing Using Virtual Subsections	2022	Peham, Tom