Work

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

Year: 2020

Type: article

Abstract: To improve the design, Verification and Validation phases of Power Supply Equipment of the Electric Lines control systems at French Railway Company (SNCF for Société nationale des chemins de fer français), this paper proposes an integrated methodology, for automatic generation, formal verification and implementation of safe Programmable Logic Control (PLC) programs. The main objective is to save time and to improve the “overloaded” workflow of systems engineers. This methodology is compliant with the traditional engineering workflow. The first phase of the methodology focuses on the automatic generation of PLC programs, wiring diagrams , and test-based recipe books, based on reusing and adapting similar models of existing projects to the new specifications (corresponding to functional and safety requirements). The second phase is related to the application of formal verification and control synthesis techniques to guarantee the safety of the control installation. The first phase of the methodology has been successfully deployed at SNCF. The second phase is currently being evaluated.

Source: Computers in Industry

DOI: 10.1016/j.compind.2020.103328

Authors: M. Niang, B. Riera, A. Philippot, J. Zaytoon, F. Gellot, R. Coupat

Institutions: Société Nationale des Chemins de Fer Français (France), Centre de Recherche en Sciences et Technologies de l'Information et de la Communication, Université de Reims Champagne-Ardenne

Language: English

Topic: Safety Systems Engineering in Autonomy

Subfield: Safety, Risk, Reliability and Quality

Field: Engineering

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: hybrid

Estimated APC paid: $3,220