ICALEPCS2015 - List of Authors (Blanco Vinuela, E.)

Paper	Title	Page
MOC3O02	PID_TUNE: A PID Autotuning Software Tool on UNICOS CPC	22
	E. Blanco Vinuela, B. Bradu, R. Marti Martinez CERN, Geneva, Switzerland R. Mazaeda, L. de Frutos, C. de Prada University of Valladolid, Valladolid, Spain
	PID (Proportional, integral and derivative) is the most used feedback control algorithm in the process control industry. Despite its age, its simplicity in terms of deployment and its efficiency on most of industrial processes allow this technique to still have a bright future. One of the biggest challenges in using PID control is to find its parameters, the so-called tuning of the controller. This may be a complex problem as it mostly depends on the dynamics of the process being controlled. In this paper we propose a tool that is able to provide the engineers a set of PID parameters in an automated way. Several auto-tuning methods, both in open and close loop, are selectable and others can be added as the tool is designed to be flexible. The tool is fully integrated in the UNICOS framework and can be used to tune multiple controllers at the same time.
	Slides MOC3O02 [2.793 MB]
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

MOPGF115	LabVIEW as a New Supervision Solution for Industrial Control Systems	349
	O.Ø. Andreassen, F. Augrandjean, E. Blanco Vinuela, M.F. Gomez De La Cruz, A. Rijllart CERN, Geneva, Switzerland D. Abalo Miron University of Oviedo, Oviedo, Spain
	To shorten the development time of supervision applications, CERN has developed the UNICOS framework, which simplifies the configuration of the front-end devices and the supervision (SCADA) layer. At CERN the SCADA system of choice is WinCC OA, but for specific projects (small size, not connected to accelerator operation or not located at CERN) a more customisable SCADA using LabVIEW is an attractive alternative. Therefore a similar system, called UNICOS in LabVIEW (UiL), has been implemented. It provides a set of highly customisable re-usable components, devices and utilities. Because LabVIEW uses different programming methods than WinCC OA, the tools for automatic instantiation of devices on both the front-end and supervision layer had to be re-developed, but the configuration files of the devices and the SCADA can be reused. This paper reports how the implementation was done, it describes the first project implemented in UiL and an outlook to other possible applications.
	Poster MOPGF115 [4.417 MB]
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

WEPGF091	A Formal Specification Method for PLC-based Applications	907
	D. Darvas, E. Blanco Vinuela CERN, Geneva, Switzerland I. Majzik BUTE, Budapest, Hungary
	The correctness of the software used in control systems has been always a high priority, as a failure can cause serious expenses, injuries or loss of reputation. To improve the quality of these applications, various development and verification methods exist. All of them necessitate a deep understanding of the requirements which can be achieved by a well-adapted formal specification method. In this paper we introduce a state machine and data-flow-based formal specification method tailored to PLC modules. This paper presents the practical benefits and new possibilities of this method, comprising consistency checking, PLC code generation, and checking equivalence between the specification and its previous versions or legacy code. The usage of these techniques can improve the level of understanding of the requirements and increase the confidence in the correctness of the implementation. Furthermore, they can help to apply formal verification techniques by providing formalised requirements.
	Poster WEPGF091 [0.569 MB]
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

WEPGF092	PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques	911
	D. Darvas, E. Blanco Vinuela, B. Fernández Adiego CERN, Geneva, Switzerland
	Model checking is a promising formal verification method to complement testing in order to improve the quality of PLC programs. However, its application typically needs deep expertise in formal methods. To overcome this problem, we introduce PLCverif, a tool that builds on our verification methodology and hides all the formal verification-related difficulties from the user, including model construction, model reduction and requirement formalisation. The goal of this tool is to make model checking accessible to the developers of the PLC programs. Currently, PLCverif supports the verification of PLC code written in ST (Structured Text), but it is open to other languages defined in IEC 61131-3. The tool can be easily extended by adding new model checkers.
	Poster WEPGF092 [3.550 MB]
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

WEPGF094	A Modular Approach to Develop Standardized HVAC Control Systems with UNICOS CPC Framework	919
	W. Booth, R. Barillère, M. Bes, E. Blanco Vinuela, B. Bradu, M. Quilichini, M.Z. Zimny CERN, Geneva, Switzerland
	At CERN there are currently about 200 ventilation air handling units in production, used in many different applications, including building ventilation, pressurization of safe rooms, smoke extraction, pulsion/extraction of experimental areas (tunnel, cavern, etc), and the ventilation of the computing centre. The PLC applications which operate these installations are currently being revamped to a new framework (UNICOS CPC). This work began 3 years ago, and we are now in a position to standardize the development of these HVAC applications, in order to reduce the cost of initial development (including specification and coding), testing, and long-term maintenance of the code. In this paper the various improvements to the process with be discussed, and examples will be shown, which can thus help the community develop HVAC applications. Improvements include templates for the "Functional Analysis" specification document, standardized HVAC devices and templates for the PLC control logic, and automatically generated test documentation, to help during the Factory Acceptance Test (FAT) and Site Acceptance Test (SAT) processes.
	Poster WEPGF094 [1.277 MB]
Export •	reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

Paper

Title

Page

PID_TUNE: A PID Autotuning Software Tool on UNICOS CPC

22

E. Blanco Vinuela, B. Bradu, R. Marti Martinez
CERN, Geneva, Switzerland
R. Mazaeda, L. de Frutos, C. de Prada
University of Valladolid, Valladolid, Spain

PID (Proportional, integral and derivative) is the most used feedback control algorithm in the process control industry. Despite its age, its simplicity in terms of deployment and its efficiency on most of industrial processes allow this technique to still have a bright future. One of the biggest challenges in using PID control is to find its parameters, the so-called tuning of the controller. This may be a complex problem as it mostly depends on the dynamics of the process being controlled. In this paper we propose a tool that is able to provide the engineers a set of PID parameters in an automated way. Several auto-tuning methods, both in open and close loop, are selectable and others can be added as the tool is designed to be flexible. The tool is fully integrated in the UNICOS framework and can be used to tune multiple controllers at the same time.

Slides MOC3O02 [2.793 MB]

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

MOPGF115

LabVIEW as a New Supervision Solution for Industrial Control Systems

349

O.Ø. Andreassen, F. Augrandjean, E. Blanco Vinuela, M.F. Gomez De La Cruz, A. Rijllart
CERN, Geneva, Switzerland
D. Abalo Miron
University of Oviedo, Oviedo, Spain

To shorten the development time of supervision applications, CERN has developed the UNICOS framework, which simplifies the configuration of the front-end devices and the supervision (SCADA) layer. At CERN the SCADA system of choice is WinCC OA, but for specific projects (small size, not connected to accelerator operation or not located at CERN) a more customisable SCADA using LabVIEW is an attractive alternative. Therefore a similar system, called UNICOS in LabVIEW (UiL), has been implemented. It provides a set of highly customisable re-usable components, devices and utilities. Because LabVIEW uses different programming methods than WinCC OA, the tools for automatic instantiation of devices on both the front-end and supervision layer had to be re-developed, but the configuration files of the devices and the SCADA can be reused. This paper reports how the implementation was done, it describes the first project implemented in UiL and an outlook to other possible applications.

Poster MOPGF115 [4.417 MB]

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

WEPGF091

A Formal Specification Method for PLC-based Applications

907

D. Darvas, E. Blanco Vinuela
CERN, Geneva, Switzerland
I. Majzik
BUTE, Budapest, Hungary

The correctness of the software used in control systems has been always a high priority, as a failure can cause serious expenses, injuries or loss of reputation. To improve the quality of these applications, various development and verification methods exist. All of them necessitate a deep understanding of the requirements which can be achieved by a well-adapted formal specification method. In this paper we introduce a state machine and data-flow-based formal specification method tailored to PLC modules. This paper presents the practical benefits and new possibilities of this method, comprising consistency checking, PLC code generation, and checking equivalence between the specification and its previous versions or legacy code. The usage of these techniques can improve the level of understanding of the requirements and increase the confidence in the correctness of the implementation. Furthermore, they can help to apply formal verification techniques by providing formalised requirements.

Poster WEPGF091 [0.569 MB]

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

WEPGF092

PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques

911

D. Darvas, E. Blanco Vinuela, B. Fernández Adiego
CERN, Geneva, Switzerland

Model checking is a promising formal verification method to complement testing in order to improve the quality of PLC programs. However, its application typically needs deep expertise in formal methods. To overcome this problem, we introduce PLCverif, a tool that builds on our verification methodology and hides all the formal verification-related difficulties from the user, including model construction, model reduction and requirement formalisation. The goal of this tool is to make model checking accessible to the developers of the PLC programs. Currently, PLCverif supports the verification of PLC code written in ST (Structured Text), but it is open to other languages defined in IEC 61131-3. The tool can be easily extended by adding new model checkers.

Poster WEPGF092 [3.550 MB]

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)

WEPGF094

A Modular Approach to Develop Standardized HVAC Control Systems with UNICOS CPC Framework

919

W. Booth, R. Barillère, M. Bes, E. Blanco Vinuela, B. Bradu, M. Quilichini, M.Z. Zimny
CERN, Geneva, Switzerland

At CERN there are currently about 200 ventilation air handling units in production, used in many different applications, including building ventilation, pressurization of safe rooms, smoke extraction, pulsion/extraction of experimental areas (tunnel, cavern, etc), and the ventilation of the computing centre. The PLC applications which operate these installations are currently being revamped to a new framework (UNICOS CPC). This work began 3 years ago, and we are now in a position to standardize the development of these HVAC applications, in order to reduce the cost of initial development (including specification and coding), testing, and long-term maintenance of the code. In this paper the various improvements to the process with be discussed, and examples will be shown, which can thus help the community develop HVAC applications. Improvements include templates for the "Functional Analysis" specification document, standardized HVAC devices and templates for the PLC control logic, and automatically generated test documentation, to help during the Factory Acceptance Test (FAT) and Site Acceptance Test (SAT) processes.

Poster WEPGF094 [1.277 MB]

Export •

reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)