| Published Articles | |
| Title | Experience with static PLC code analysis at CERN |
| Author(s) | Tsiplaki Spiliopoulou, Christina (CERN) ; Blanco Viñuela, Enrique (CERN) ; Fernández Adiego, Borja (CERN) |
| Publication | 2018 |
| Number of pages | 5 |
| In: | 16th International Conference on Accelerator and Large Experimental Physics Control Systems, Barcelona, Spain, 8 - 13 Oct 2017, pp.THPHA160 |
| DOI | 10.18429/JACoW-ICALEPCS2017-THPHA160 |
| Subject category | Accelerators and Storage Rings |
| Abstract | The large number of industrial control systems based on PLCs (Programmable Logic Controllers) available at CERN implies a huge number of programs and lines of code. The software quality assurance becomes a key point to ensure the reliability of the control systems. Static code analysis is a relatively easy-to-use, simple way to find potential faults or error-prone parts in the source code. While static code analysis is widely used for general purpose programming languages (e.g. Java, C), this is not the case for PLC program languages. We have analyzed the possibilities and the gains to be expected from applying static analysis to the PLC code used at CERN, based on the UNICOS framework. This paper reports on our experience with the method and the available tools and sketches an outline for future work to make this analysis method practically applicable. |
| Copyright/License | CC-BY-3.0 |
Corresponding record in: Inspire
Rekord stworzony 2018-02-22, ostatnia modyfikacja 2018-02-23
