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...

Descripción completa

Detalles Bibliográficos
Autores principales: Fernández Adiego, Borja, Avinashkrishna, Bhimavarapu, Blanco Viñuela, Enrique, Darvas, Daniel, Gaikwad, Yogesh, Lee, Gisik, Pedica, Riccardo, Prieto Diaz, Ignacio, Sallai, Gyula, Sreekuttan, Sailaraj
Lenguaje:eng
Publicado: 2018
Materias:
Accelerators and Storage Rings
Acceso en línea:https://dx.doi.org/10.18429/JACoW-ICALEPCS2017-THPHA161
http://cds.cern.ch/record/2305319

Internet

https://dx.doi.org/10.18429/JACoW-ICALEPCS2017-THPHA161
http://cds.cern.ch/record/2305319

Ejemplares similares