Cargando…
Experience with static PLC code analysis at CERN
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 relative...
Autores principales: | Tsiplaki Spiliopoulou, Christina, Blanco Viñuela, Enrique, Fernández Adiego, Borja |
---|---|
Lenguaje: | eng |
Publicado: |
2018
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.18429/JACoW-ICALEPCS2017-THPHA160 http://cds.cern.ch/record/2305318 |
Ejemplares similares
-
Testing and Verification of PLC Code for Process Control
por: Blanco Vinuela, E B, et al.
Publicado: (2014) -
PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques
por: Darvas, Dániel, et al.
Publicado: (2015) -
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program
por: Fernández Adiego, Borja, et al.
Publicado: (2022) -
Bringing Automated Model Checking to PLC Program Development - A CERN Case Study
por: Fernandez Adiego, B, et al.
Publicado: (2014) -
Applying model checking to critical PLC applications: An ITER case study
por: Fernández Adiego, Borja, et al.
Publicado: (2018)