[HTML][HTML] Collaborative Intelligence for Safety-Critical Industries: A Literature Review
While AI-driven automation can increase the performance and safety of systems, humans
should not be replaced in safety-critical systems but should be integrated to collaborate and …
should not be replaced in safety-critical systems but should be integrated to collaborate and …
Software model checking of interlocking programs
P James, F Moller, M Roggenbach - … : Essays Dedicated to Jan Peleska on …, 2023 - Springer
In this paper, we report and reflect on successful technology transfer from Swansea
University to Siemens Mobility over the years 2007–2022. This transfer concerns formal …
University to Siemens Mobility over the years 2007–2022. This transfer concerns formal …
Effective Candidate Invariant Generation Using GPGPUs and Optimisations
BL Roberts, F Pantekis, P James… - … on Computing and …, 2024 - ieeexplore.ieee.org
The formal verification of railway control systems can ensure the safety of complex scheme
plans through techniques such as induction-based model checking. While inductive …
plans through techniques such as induction-based model checking. While inductive …
Young People's Reflections on the Railway Sector: A European Perspective
I Ruiz-Mora, S Postigo-Pozo, JJ Castillo-Aguilar… - … Rail Transport 5: Skills …, 2024 - Springer
The aim of the Erasmus+ funded project ASTONRail (Advanced approaches and practices
for rail training and education TO inNovate Rail study programmes and improve rail higher …
for rail training and education TO inNovate Rail study programmes and improve rail higher …