Cargando…
Applying model checking to critical PLC applications: An ITER case study
The development of critical systems requires the application of verification techniques in order to guarantee that the requirements are met in the system. Standards like IEC 61508 provide guidelines and recommend the use of formal methods for that purpose. The ITER Interlock Control System has been...
| Autores principales: | , , , , , , , , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2018
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.18429/JACoW-ICALEPCS2017-THPHA161 http://cds.cern.ch/record/2305319 |