ICALEPCS2013 - List of Authors (Blanco Vinuela, E.B.)

Paper

Title

Page

An Event Driven Communication Protocol for Process Control: Performance Evaluation and Redundant Capabilities

111

J.O. Ortola Vidal, E.B. Blanco Vinuela, M. Boccioli, T.N. Nunes da Rocha
CERN, Geneva, Switzerland

The CERN Unified Industrial Control System framework (UNICOS) with its Continuous Control Package (UNICOS CPC) is the CERN standard solution for the design and implementation of continuous industrial process control applications. The in-house designed communication mechanism, based on the Time Stamp Push Protocol (TSPP) provides event driven high performance data communication between the control and supervision layers of a UNICOS CPC application. In its recent implementation of full redundant capabilities for both control and supervision layers, the TSPP protocol has reached maturity. This paper presents the design of the redundancy, the architecture, the current implementation as well as a comprehensive evaluation of its performance for SIEMENS PLCs in different test scenarios.

Poster MOPPC024 [7.161 MB]

MOPPC033

Opening the Floor to PLCs and IPCs: CODESYS in UNICOS

147

J. Rochez, E.B. Blanco Vinuela, M. Koutli, T. Petrou
CERN, Geneva, Switzerland

This paper presents the integration of a third industrial platform for process control applications with the UNICOS (Unified Industrial Control System) framework at CERN. The UNICOS framework is widely used in many process control domains (e.g. Cryogenics, Cooling, Ventilation, Vacuum) to produce highly structured standardised control applications for the two CERN approved industrial PLC product families, Siemens and Schneider. The CoDeSys platform, developed by the 3S (Smart Software Solution), provides an independent IEC 6131-3 programming environment for industrial controllers. The complete CoDeSys based development includes: (1) a dedicated Java™ module plugged in an automatic code generation tool, the UAB (UNICOS Application Builder), (2) the associated UNICOS baseline library for industrial PLCs and IPCs (Industrial PC) CoDeSys v3 compliant, and (3) the Python-based templates to deploy device instances and control logic. The availability of this development opens the UNICOS framework to a wider community of industrial PLC manufacturers (e.g. ABB, WAGO) and, as the CoDeSys control Runtime works in standard Operating Systems (Linux, W7), UNICOS could be deployed to any IPC.

Poster MOPPC033 [4.915 MB]

THPPC057

Validation of the Data Consolidation in Layout Database for the LHC Tunnel Cryogenics Controls Package

1197

A. Tovar, C. Balle, E.B. Blanco Vinuela, C. Fluder, E. Fortescue-Beck, P. Gomes, V. Inglese, M. Pezzetti
CERN, Geneva, Switzerland

The control system of the Large Hadron Collider cryogenics manages over 34,000 instrumentation channels which are essential for populating the software of the PLCs (Programmable Logic Controller) and SCADA (Supervisory Control and Data Acquisition) responsible for maintaining the LHC at the appropriate operating conditions. The control system specification's are generated by the CERN UNICOS (Unified Industrial Control System) framework using a set of information of database views extracted from the LHC layout database. The LHC layout database is part of the CERN database managing centralized and integrated data, documenting the whole CERN infrastructures (Accelerator complex) by modeling their topographical organization (“layouts”), and defining their components (functional positions) and the relationships between them. This paper describes the methodology of the data validation process, including the development of different software tools used to update the database from original values to manually adjusted values after three years of machine operation, as well as the update of the data to accommodate the upgrade of the UNICOS Continuous Process Control package(CPC).

THPPC076

Re-Engineering Control Systems using Automatic Generation Tools and Process Simulation: the LHC Water Cooling Case

1242

W. Booth, E.B. Blanco Vinuela, B. Bradu, L. Gomez Palacin, M. Quilichini, D. Willeman
CERN, Geneva, Switzerland

This paper presents the approach used at CERN (European Organization for Nuclear Research) for the re-engineering of the control systems for the water cooling systems of the LHC (Large Hadron Collider). Due to a very short, and therefore restrictive, intervention time for these control systems, each PLC had to be completely commissioned in only two weeks. To achieve this challenge, automatic generation tools were used with the CERN control framework UNICOS (Unified Industrial Control System) to produce the PLC code. Moreover, process dynamic models using the simulation software EcosimPro were developed to carry out the ‘virtual’ commissioning of the new control systems for the most critical processes thus minimizing the real commissioning time on site. The re-engineering concerns around 20 PLCs managing 11000 Inputs/Outputs all around the LHC. These cooling systems are composed of cooling towers, chilled water production units and water distribution systems.

Poster THPPC076 [4.046 MB]

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]

Paper	Title	Page
MOPPC024	An Event Driven Communication Protocol for Process Control: Performance Evaluation and Redundant Capabilities	111
	J.O. Ortola Vidal, E.B. Blanco Vinuela, M. Boccioli, T.N. Nunes da Rocha CERN, Geneva, Switzerland
	The CERN Unified Industrial Control System framework (UNICOS) with its Continuous Control Package (UNICOS CPC) is the CERN standard solution for the design and implementation of continuous industrial process control applications. The in-house designed communication mechanism, based on the Time Stamp Push Protocol (TSPP) provides event driven high performance data communication between the control and supervision layers of a UNICOS CPC application. In its recent implementation of full redundant capabilities for both control and supervision layers, the TSPP protocol has reached maturity. This paper presents the design of the redundancy, the architecture, the current implementation as well as a comprehensive evaluation of its performance for SIEMENS PLCs in different test scenarios.
	Poster MOPPC024 [7.161 MB]

MOPPC033	Opening the Floor to PLCs and IPCs: CODESYS in UNICOS	147
	J. Rochez, E.B. Blanco Vinuela, M. Koutli, T. Petrou CERN, Geneva, Switzerland
	This paper presents the integration of a third industrial platform for process control applications with the UNICOS (Unified Industrial Control System) framework at CERN. The UNICOS framework is widely used in many process control domains (e.g. Cryogenics, Cooling, Ventilation, Vacuum) to produce highly structured standardised control applications for the two CERN approved industrial PLC product families, Siemens and Schneider. The CoDeSys platform, developed by the 3S (Smart Software Solution), provides an independent IEC 6131-3 programming environment for industrial controllers. The complete CoDeSys based development includes: (1) a dedicated Java™ module plugged in an automatic code generation tool, the UAB (UNICOS Application Builder), (2) the associated UNICOS baseline library for industrial PLCs and IPCs (Industrial PC) CoDeSys v3 compliant, and (3) the Python-based templates to deploy device instances and control logic. The availability of this development opens the UNICOS framework to a wider community of industrial PLC manufacturers (e.g. ABB, WAGO) and, as the CoDeSys control Runtime works in standard Operating Systems (Linux, W7), UNICOS could be deployed to any IPC.
	Poster MOPPC033 [4.915 MB]

THPPC057	Validation of the Data Consolidation in Layout Database for the LHC Tunnel Cryogenics Controls Package	1197
	A. Tovar, C. Balle, E.B. Blanco Vinuela, C. Fluder, E. Fortescue-Beck, P. Gomes, V. Inglese, M. Pezzetti CERN, Geneva, Switzerland
	The control system of the Large Hadron Collider cryogenics manages over 34,000 instrumentation channels which are essential for populating the software of the PLCs (Programmable Logic Controller) and SCADA (Supervisory Control and Data Acquisition) responsible for maintaining the LHC at the appropriate operating conditions. The control system specification's are generated by the CERN UNICOS (Unified Industrial Control System) framework using a set of information of database views extracted from the LHC layout database. The LHC layout database is part of the CERN database managing centralized and integrated data, documenting the whole CERN infrastructures (Accelerator complex) by modeling their topographical organization (“layouts”), and defining their components (functional positions) and the relationships between them. This paper describes the methodology of the data validation process, including the development of different software tools used to update the database from original values to manually adjusted values after three years of machine operation, as well as the update of the data to accommodate the upgrade of the UNICOS Continuous Process Control package(CPC).

THPPC076	Re-Engineering Control Systems using Automatic Generation Tools and Process Simulation: the LHC Water Cooling Case	1242
	W. Booth, E.B. Blanco Vinuela, B. Bradu, L. Gomez Palacin, M. Quilichini, D. Willeman CERN, Geneva, Switzerland
	This paper presents the approach used at CERN (European Organization for Nuclear Research) for the re-engineering of the control systems for the water cooling systems of the LHC (Large Hadron Collider). Due to a very short, and therefore restrictive, intervention time for these control systems, each PLC had to be completely commissioned in only two weeks. To achieve this challenge, automatic generation tools were used with the CERN control framework UNICOS (Unified Industrial Control System) to produce the PLC code. Moreover, process dynamic models using the simulation software EcosimPro were developed to carry out the ‘virtual’ commissioning of the new control systems for the most critical processes thus minimizing the real commissioning time on site. The re-engineering concerns around 20 PLCs managing 11000 Inputs/Outputs all around the LHC. These cooling systems are composed of cooling towers, chilled water production units and water distribution systems.
	Poster THPPC076 [4.046 MB]

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]