A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems

M. Niang (1) , B. Riera (2) , A. Philippot (2) , J. Zaytoon (2) , F. Gellot (2) , R. Coupat (1)

1 SNCF Direction de l'Ingénierie - Traction Electrique
2 CRESTIC - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804

Domaines: Automatique / Robotique

M. Niang, B. Riera, A. Philippot, J. Zaytoon, F. Gellot, et al.. A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems. Computers in Industry, 2020, 123, pp.103328. ⟨10.1016/j.compind.2020.103328⟩. ⟨hal-02974729⟩