Author: 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 (Pro­por­tional, in­te­gral and de­riv­a­tive) is the most used feed­back con­trol al­go­rithm in the process con­trol in­dus­try. De­spite its age, its sim­plic­ity in terms of de­ploy­ment and its ef­fi­ciency on most of in­dus­trial processes allow this tech­nique to still have a bright fu­ture. One of the biggest chal­lenges in using PID con­trol is to find its pa­ra­me­ters, the so-called tun­ing of the con­troller. This may be a com­plex prob­lem as it mostly de­pends on the dy­nam­ics of the process being con­trolled. In this paper we pro­pose a tool that is able to pro­vide the en­gi­neers a set of PID pa­ra­me­ters in an au­to­mated way. Sev­eral auto-tun­ing meth­ods, both in open and close loop, are se­lec­table and oth­ers can be added as the tool is de­signed to be flex­i­ble. The tool is fully in­te­grated in the UNI­COS frame­work and can be used to tune mul­ti­ple con­trollers at the same time.  
slides icon 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 de­vel­op­ment time of su­per­vi­sion ap­pli­ca­tions, CERN has de­vel­oped the UNI­COS frame­work, which sim­pli­fies the con­fig­u­ra­tion of the front-end de­vices and the su­per­vi­sion (SCADA) layer. At CERN the SCADA sys­tem of choice is WinCC OA, but for spe­cific pro­jects (small size, not con­nected to ac­cel­er­a­tor op­er­a­tion or not lo­cated at CERN) a more cus­tomis­able SCADA using Lab­VIEW is an at­trac­tive al­ter­na­tive. There­fore a sim­i­lar sys­tem, called UNI­COS in Lab­VIEW (UiL), has been im­ple­mented. It pro­vides a set of highly cus­tomis­able re-us­able com­po­nents, de­vices and util­i­ties. Be­cause Lab­VIEW uses dif­fer­ent pro­gram­ming meth­ods than WinCC OA, the tools for au­to­matic in­stan­ti­a­tion of de­vices on both the front-end and su­per­vi­sion layer had to be re-de­vel­oped, but the con­fig­u­ra­tion files of the de­vices and the SCADA can be reused. This paper re­ports how the im­ple­men­ta­tion was done, it de­scribes the first pro­ject im­ple­mented in UiL and an out­look to other pos­si­ble ap­pli­ca­tions.  
poster icon 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 cor­rect­ness of the soft­ware used in con­trol sys­tems has been al­ways a high pri­or­ity, as a fail­ure can cause se­ri­ous ex­penses, in­juries or loss of rep­u­ta­tion. To im­prove the qual­ity of these ap­pli­ca­tions, var­i­ous de­vel­op­ment and ver­i­fi­ca­tion meth­ods exist. All of them ne­ces­si­tate a deep un­der­stand­ing of the re­quire­ments which can be achieved by a well-adapted for­mal spec­i­fi­ca­tion method. In this paper we in­tro­duce a state ma­chine and data-flow-based for­mal spec­i­fi­ca­tion method tai­lored to PLC mod­ules. This paper pre­sents the prac­ti­cal ben­e­fits and new pos­si­bil­i­ties of this method, com­pris­ing con­sis­tency check­ing, PLC code gen­er­a­tion, and check­ing equiv­a­lence be­tween the spec­i­fi­ca­tion and its pre­vi­ous ver­sions or legacy code. The usage of these tech­niques can im­prove the level of un­der­stand­ing of the re­quire­ments and in­crease the con­fi­dence in the cor­rect­ness of the im­ple­men­ta­tion. Fur­ther­more, they can help to apply for­mal ver­i­fi­ca­tion tech­niques by pro­vid­ing for­malised re­quire­ments.  
poster icon 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 check­ing is a promis­ing for­mal ver­i­fi­ca­tion method to com­ple­ment test­ing in order to im­prove the qual­ity of PLC pro­grams. How­ever, its ap­pli­ca­tion typ­i­cally needs deep ex­per­tise in for­mal meth­ods. To over­come this prob­lem, we in­tro­duce PLCverif, a tool that builds on our ver­i­fi­ca­tion method­ol­ogy and hides all the for­mal ver­i­fi­ca­tion-re­lated dif­fi­cul­ties from the user, in­clud­ing model con­struc­tion, model re­duc­tion and re­quire­ment for­mal­i­sa­tion. The goal of this tool is to make model check­ing ac­ces­si­ble to the de­vel­op­ers of the PLC pro­grams. Cur­rently, PLCverif sup­ports the ver­i­fi­ca­tion of PLC code writ­ten in ST (Struc­tured Text), but it is open to other lan­guages de­fined in IEC 61131-3. The tool can be eas­ily ex­tended by adding new model check­ers.  
poster icon 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 cur­rently about 200 ven­ti­la­tion air han­dling units in pro­duc­tion, used in many dif­fer­ent ap­pli­ca­tions, in­clud­ing build­ing ven­ti­la­tion, pres­sur­iza­tion of safe rooms, smoke ex­trac­tion, pul­sion/ex­trac­tion of ex­per­i­men­tal areas (tun­nel, cav­ern, etc), and the ven­ti­la­tion of the com­put­ing cen­tre. The PLC ap­pli­ca­tions which op­er­ate these in­stal­la­tions are cur­rently being re­vamped to a new frame­work (UNI­COS CPC). This work began 3 years ago, and we are now in a po­si­tion to stan­dard­ize the de­vel­op­ment of these HVAC ap­pli­ca­tions, in order to re­duce the cost of ini­tial de­vel­op­ment (in­clud­ing spec­i­fi­ca­tion and cod­ing), test­ing, and long-term main­te­nance of the code. In this paper the var­i­ous im­prove­ments to the process with be dis­cussed, and ex­am­ples will be shown, which can thus help the com­mu­nity de­velop HVAC ap­pli­ca­tions. Im­prove­ments in­clude tem­plates for the "Func­tional Analy­sis" spec­i­fi­ca­tion doc­u­ment, stan­dard­ized HVAC de­vices and tem­plates for the PLC con­trol logic, and au­to­mat­i­cally gen­er­ated test doc­u­men­ta­tion, to help dur­ing the Fac­tory Ac­cep­tance Test (FAT) and Site Ac­cep­tance Test (SAT) processes.  
poster icon Poster WEPGF094 [1.277 MB]  
Export • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)