Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew D. Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer
Topics & Concepts
Computer scienceKey (lock)Formal methodsRisk analysis (engineering)Engineering managementComputer securitySystems engineeringSoftware engineeringEngineeringBusinessSafety Systems Engineering in AutonomySoftware Testing and Debugging TechniquesModel-Driven Software Engineering Techniques