当前位置: X-MOL 学术Comput. Ind. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
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 ( IF 8.2 ) Pub Date : 2020-10-21 , DOI: 10.1016/j.compind.2020.103328
M. Niang , B. Riera , A. Philippot , J. Zaytoon , F. Gellot , R. Coupat

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.



中文翻译:

自动生成,正式验证和实施铁路控制系统电力线供电设备的安全PLC程序的方法

为了改善法国铁路公司(法国国家化学会的SNCF)电力线控制系统的供电设备的设计,验证和确认阶段,本文提出了一种用于自动发电,形式验证和实施的集成方法安全的可编程逻辑控制(PLC)程序。主要目的是节省时间并改善系统工程师的“超负荷”工作流程。

这种方法符合传统的工程流程。该方法的第一阶段集中于自动生成PLC程序,接线图和基于测试的配方书,其基础是对现有项目的相似模型进行重新使用并使其适应新的规范(与功能和安全要求相对应)。第二阶段与形式验证和控制综合技术的应用有关,以确保控制装置的安全。该方法的第一阶段已在SNCF上成功部署。目前正在评估第二阶段。

更新日期:2020-10-30
down
wechat
bug