Cargando…
Prototype of Automated PLC Model Checking Using Continuous Integration Tools
To deal with the complexity of operating and supervising large scale industrial installations at CERN, often Programmable Logic Controllers (PLCs) are used. A failure in these control systems can cause a disaster in terms of economic loses, environmental damages or human losses. Therefore the requir...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2015
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2056706 |