| Paper |
Title |
Page |
| THPPC080 |
Testing and Verification of PLC Code for Process Control |
1258 |
| |
- E.B. Blanco Vinuela, B. Fernández Adiego, A. Merezhin
CERN, Geneva, Switzerland
|
|
| |
Functional testing of PLC programs has been historically a challenging task for control systems engineers. This paper presents the analysis of different mechanisms for testing PLCs programs developed within the UNICOS (Unified Industrial COntrol System) framework. The framework holds a library of objects, which are represented as Function Blocks in the PLC application. When a new object is added to the library or a correction of an existing one is needed, exhaustive validation of the PLC code is needed. Testing and formal verification are two distinct approaches selected for eliminating failures of UNICOS objects. Testing is usually done manually or automatically by developing scripts at the supervision layer using the real control infrastructure. Formal verification proofs the correctness of the system by checking weather a formal model of the system satisfies some properties or requirements. The NuSMV model checker has been chosen to perform this task. The advantages and limitations of both approaches are presented and illustrated with a case study, validating a specific UNICOS object.
|
|
|
Poster THPPC080 [3.659 MB]
|
|
| |