002777797 001__ 2777797
002777797 003__ SzGeCERN
002777797 005__ 20220114155502.0
002777797 0247_ $$2DOI$$9JACoW$$a10.18429/JACoW-ICALEPCS2019-MOPHA078
002777797 0248_ $$aoai:cds.cern.ch:2777797$$pcerncds:FULLTEXT$$pcerncds:CERN:FULLTEXT$$pcerncds:CERN
002777797 035__ $$9https://inspirehep.net/api/oai2d$$aoai:inspirehep.net:1827756$$d2021-08-02T14:23:33Z$$h2021-08-04T04:00:09Z$$mmarcxml
002777797 035__ $$9Inspire$$a1827756
002777797 041__ $$aeng
002777797 100__ $$aLadzinski, Tomasz$$iINSPIRE-00099606$$jJACoW-00001560$$uCERN
002777797 245__ $$9JACoW$$aRenovation of the SPS Personnel Protection System: A Configurable Approach
002777797 260__ $$c2020
002777797 300__ $$a5 p
002777797 520__ $$9JACoW$$aThe renovation of the SPS Personnel Protection System (PPS) comprises the installation of industrial access control solutions and the implementation of a new safety instrumented system tailored to the particular needs of the accelerator. The SPS has been a working horse of the CERN accelerator complex for many decades and its configuration has changed through the many years of operation. The classic solutions for safety systems design, used in the LHC and PS machines, have not been judged adequate for this accelerator undergoing perpetual changes, composed of many sites forming several safety chains. In order to avoid expensive software modifications, each time the accelerator configuration evolves, a configurable safety software design was proposed. This paper presents the hardware architecture of the PLC-based SPS PPS and the configurable software architecture proposed. It further reports on the testing and formal verification activities performed to validate the safety software and discusses the pros and cons of the configurable approach.
002777797 540__ $$3publication$$aCC-BY-3.0$$bJACoW$$uhttp://creativecommons.org/licenses/by/3.0/
002777797 542__ $$3publication$$dJACoW$$f© JACoW 2019
002777797 65017 $$2SzGeCERN$$aAccelerators and Storage Rings
002777797 6531_ $$2JACoW$$asite
002777797 6531_ $$2JACoW$$acontrols
002777797 6531_ $$2JACoW$$asoftware
002777797 6531_ $$2JACoW$$aPLC
002777797 6531_ $$2JACoW$$aoperation
002777797 690C_ $$aARTICLE
002777797 690C_ $$aCERN
002777797 700__ $$aFernández Adiego, [email protected]$$uCERN
002777797 700__ $$aHavart, [email protected]$$uCERN
002777797 773__ $$01827643$$c395$$qICALEPCS2019$$wC19-10-05.1$$y2020
002777797 8564_ $$82314393$$s1531165$$uhttp://cds.cern.ch/record/2777797/files/10.18429_JACoW-ICALEPCS2019-MOPHA078.pdf$$yFulltext
002777797 960__ $$a13
002777797 962__ $$b2690621$$k395$$nnew york20191005
002777797 980__ $$aARTICLE
002777797 980__ $$aConferencePaper