HISTORICAL OUTLINE OF URBAN RAILWAY SAFETY RELATED SYSTEMS Urban railway system families

@inproceedings{Bonvoisin2016HISTORICALOO,
  title={HISTORICAL OUTLINE OF URBAN RAILWAY SAFETY RELATED SYSTEMS Urban railway system families},
  author={David Bonvoisin},
  year={2016}
}
The RATP Company operates one of the most important multimodal transportation network in the world. As soon as the first software-based train control system was deployed on this network at the end of the 80’s, RATP has experienced the use of formal methods to master the safety critical part of the software. Since then, RATP has kept on developing, improving and promoting the use of formal proof for validation or assessment purpose, with a constant target to extend its scope. The next step… CONTINUE READING