Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude.

Phillip James Andrew Lawrence Markus Roggenbach Monika Seisenberger

Published in: FTSCS (2015)

Keyphrases

real time
safety analysis
safety critical
control system
nuclear power plant
low cost
embedded systems
fault model
decision makers
agent architecture
formal methods