Cargando…
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program
An important aspect of many particle accelerators is the constant evolution and frequent configuration changes that are needed to perform the experiments they are designed for. This often leads to the design of configurable software that can absorb these changes and perform the required control and...
| Autores principales: | , , , , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2022
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.18429/JACoW-ICALEPCS2021-WEPV042 http://cds.cern.ch/record/2809709 |