Author: Blanco Vinuela, E.
Paper Title Page
MOC3O02 PIDTUNE: A PID Autotuning Software Tool on UNICOS CPC 1
  • 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 icon Slides MOC3O02 [2.788 MB]  
MOPGF115 LabVIEW as a New Supervision Solution for Industrial Control Systems 1
  • 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 icon Poster MOPGF115 [4.412 MB]  
WEPGF091 A Formal Specification Method for PLC-based Applications 1
  • 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 icon Poster WEPGF091 [0.565 MB]  
WEPGF092 PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques 1
  • 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 icon Poster WEPGF092 [3.741 MB]  
WEPGF094 A Modular Approach to Develop Standardized HVAC Control Systems with UNICOS CPC Framework 1
  • 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 icon Poster WEPGF094 [1.149 MB]