CERN Accelerating science

Home > Search Results: recid:2895015
Search Tips
Advanced Search
Add to Search +
Search collections:
Sort by: Display results: Output format:
CERN Document Server 2,038 records found  1 - 10nextend  jump to record: Search took 0.46 seconds. 
1.
(100)
Towards Automatic Generation of Fail-Safe PLC Code Compliant with Functional Safety Standards / Germinario, Andrea (CERN) ; Blanco Viñuela, Enrique (CERN) ; Fernández Adiego, Borja (CERN)
In agreement with the IEC 61511 functional safety standard, fail-safe application programs should be written using a Limited Variability Language (LVL), that has a limited number of operations and data types, such as LD (Ladder Diagrams) or FBD (Function Block Diagrams) for safety PLC (Programmable Logic Controller) languages. The specification of safety instrumented systems, as part of the Safety Requirements Specification document, shall unambiguously define the logic of the program, creating a one-to-one relationship between code and specification. [...]
2023 - 5 p. - Published in : JACoW ICALEPCS 2023 (2023) THPDP059 Fulltext: PDF;
In : 19th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2023), Cape Town, South Africa, 7 - 13 Oct 2023, pp.THPDP059
Detailed record - Similar records
2.
(91)
Protection Layers Design for the High Luminosity LHC Full Remote Alignment System / Fernández Adiego, Borja (CERN) ; Blanco Viñuela, Enrique (CERN) ; Germinario, Andrea (CERN) ; Mainaud Durand, Helene (CERN) ; Sosin, Mateusz (CERN)
The Full Remote Alignment System (FRAS) is a complex measurement, alignment and control system designed to remotely align components of the Large Hadron Collider (LHC) following its High Luminosity upgrade. The purpose of FRAS is to guarantee optimal alignment of the strong focusing magnets and associated components near the experimental interaction points, while at the same time limiting the radiation dose to which surveyors in the LHC tunnel are subjected. [...]
2023 - 7 p. - Published in : JACoW ICALEPCS 2023 (2023) 285-291 Fulltext: PDF;
In : 19th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2023), Cape Town, South Africa, 7 - 13 Oct 2023, pp.285-291
Detailed record - Similar records
3.
(77)
LHC train control system for autonomous inspections and measurements / Di Castro, Mario (CERN) ; Baiguera Tambutti, Maria Laura (CERN) ; Gilardoni, Simone (CERN) ; Losito, Roberto (CERN) ; Lunghi, Giacomo (CERN) ; Masi, Alessandro (CERN)
Intelligent robotic systems are becoming essential for inspection and measurements in harsh environments, such as the European Organization for Nuclear Research (CERN) accelerators complex. Aiming at increasing safety and machine availability, robots can help to perform repetitive or dangerous tasks, reducing the risk for the personnel as the exposure to radiation. [...]
2018 - 5 p. - Published in : 10.18429/JACoW-ICALEPCS2017-THPHA061 Fulltext: PDF;
In : International Conference on Accelerator and Large Experimental Physics Control Systems, Barcelona, Spain, 8 - 13 Oct 2017, pp.THPHA061
Detailed record - Similar records
4.
(76)
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program / Fernández Adiego, Borja (CERN) ; Blanco Viñuela, Enrique (CERN) ; Havart, Frederic (CERN) ; Ladzinski, Tomasz (CERN) ; Lopez-Miguel, Ignacio D (CERN) ; Tournier, Jean-Charles (CERN)
An important aspect of many particle accelerators is the constant evolution and frequent configuration changes that are needed to perform the experiments they are designed for. This often leads to the design of configurable software that can absorb these changes and perform the required control and protection actions. [...]
2022 - 5 p. - Published in : JACoW ICALEPCS2021 (2022) 759-763 Fulltext: PDF;
In : 18th International Conference on Accelerator and Large Experimental Physics Control Systems, Online, 18 - 22 Oct 2021, pp.759-763
Detailed record - Similar records
5.
(74)
PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques / Darvas, Dániel (CERN) ; Blanco Vinuela, Enrique (CERN) ; Fernández Adiego, Borja (CERN)
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. [...]
2015 - 4 p. - Published in : 10.18429/JACoW-ICALEPCS2015-WEPGF092 Fulltext: PDF; External link: JACoW
In : 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Melbourne, Australia, 17 - 23 Oct 2015, pp.WEPGF092
Detailed record - Similar records
6.
(72)
Automated Generation of Formal Models from ST Control Programs for Verification Purposes
In large industrial control systems such as the ones installed at CERN, one of the main issues is the ability to verify the correct behaviour of the Programmable Logic Controller (PLC) programs. [...]
CERN-ACC-NOTE-2014-0037. - 2014. - 13 p.
Access to fulltext
Detailed record - Similar records
7.
(64)
Working Together for Safer Systems: A Collaboration Model for Verification of PLC Code / Lopez-Miguel, Ignacio D (TU Vienna) ; Betz, Christine (Darmstadt, GSI) ; Blanco Viñuela, Enrique (CERN) ; Fernández Adiego, Borja (CERN) ; Salinas, Matias (Darmstadt, GSI)
Formal verification techniques are widely used in critical industries to minimize software flaws. However, despite the benefits and recommendations of the functional safety standards, such as IEC 61508 and IEC 61511, formal verification is not yet a common practice in the process industry and large scientific installations. [...]
2023 - 6 p. - Published in : JACoW ICALEPCS 2023 (2023) TUPDP001 Fulltext: PDF;
In : 19th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2023), Cape Town, South Africa, 7 - 13 Oct 2023, pp.TUPDP001
Detailed record - Similar records
8.
(63)
Experience with static PLC code analysis at CERN / Tsiplaki Spiliopoulou, Christina (CERN) ; Blanco Viñuela, Enrique (CERN) ; Fernández Adiego, Borja (CERN)
The large number of industrial control systems based on PLCs (Programmable Logic Controllers) available at CERN implies a huge number of programs and lines of code. The software quality assurance becomes a key point to ensure the reliability of the control systems. [...]
2018 - 5 p. - Published in : 10.18429/JACoW-ICALEPCS2017-THPHA160 Fulltext: PDF;
In : International Conference on Accelerator and Large Experimental Physics Control Systems, Barcelona, Spain, 8 - 13 Oct 2017, pp.THPHA160
Detailed record - Similar records
9.
(63)
Tests of a Fail-Safe Vacuum Beam Line Using Acoustic Delay and a Fast-Closing Valve / Wolgast, R C ; Davis, J W
1969 External link: Published version from JACoW
In : 3rd IEEE Particle Accelerator Conference, Washington, DC, USA, 5 - 7 Mar 1969, pp.954
Detailed record - Similar records
10.
(61)
Applying Model Checking to Industrial-Sized PLC Programs / Fernandez Adiego, Borja (CERN) ; Darvas, Daniel (Budapest, Tech. U.) ; Blanco Vinuela, Enrique (CERN) ; Tournier, Jean-Charles (CERN) ; Bliudze, Simon (LPHE, Lausanne) ; Blech, Jan Olaf (RMIT U.) ; Gonzalez Suarez, Victor M (Oviedo U.)
Programmable logic controllers (PLCs) are embedded computers widely used in industrial control systems. Ensuring that a PLC software complies with its specification is a challenging task. [...]
CERN-OPEN-2015-009.- Geneva : CERN, 2015 - 11 p. - Published in : IEEE Trans. Ind. Inform. 11 (2015) 1400-1410 Preprint: PDF;
Detailed record - Similar records

Haven't found what you were looking for? Try your search on other servers:
recid:2895015 in Amazon
recid:2895015 in CERN EDMS
recid:2895015 in CERN Intranet
recid:2895015 in CiteSeer
recid:2895015 in Google Books
recid:2895015 in Google Scholar
recid:2895015 in Google Web
recid:2895015 in IEC		recid:2895015 in IHS
recid:2895015 in INSPIRE
recid:2895015 in ISO
recid:2895015 in KISS Books/Journals
recid:2895015 in KISS Preprints
recid:2895015 in NEBIS
recid:2895015 in SLAC Library Catalog