| Article | |
| Title | Towards Automatic Generation of Fail-Safe PLC Code Compliant with Functional Safety Standards |
| Author(s) | Germinario, Andrea (CERN) ; Blanco Viñuela, Enrique (CERN) ; Fernández Adiego, Borja (CERN) |
| Publication | 2023 |
| Number of pages | 5 |
| In: | JACoW ICALEPCS 2023 (2023) THPDP059 |
| In: | 19th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2023), Cape Town, South Africa, 7 - 13 Oct 2023, pp.THPDP059 |
| DOI | 10.18429/JACoW-ICALEPCS2023-THPDP059 |
| Subject category | Computing and Computers |
| Abstract | In agreement with the IEC 61511 functional safety standard, fail-safe application programs should be written using a Limited Variability Language (LVL), that has a limited number of operations and data types, such as LD (Ladder Diagrams) or FBD (Function Block Diagrams) for safety PLC (Programmable Logic Controller) languages. The specification of safety instrumented systems, as part of the Safety Requirements Specification document, shall unambiguously define the logic of the program, creating a one-to-one relationship between code and specification. Hence, coding becomes a translation from a specification language to PLC code. This process is repetitive and error-prone when performed by a human. In this paper we describe the process of fully generating Siemens TIA portal LD programs for safety applications from a formal specification. The process starts by generating an intermediate model that represents a generic LD program based on a predefined meta-model. This intermediate model is then automatically translated into code. The idea can be expanded to other equivalent LVL languages from other PLC manufacturers. In addition, the intermediate model can be generated from different specification formalisms having the same level of expressiveness as the one presented in this paper: a Cause-Effect Matrix. Our medium-term vision is to automatically generate fail-safe programs from diverse formal specification methods and using different LVLs. |
| Copyright/License | CC-BY-4.0 |
Corresponding record in: Inspire
Datensatz erzeugt am 2024-04-10, letzte Änderung am 2024-04-11
