recid:2895015 - 檢索結果 - CERN Document Server

主頁 > 檢索結果: recid:2895015

搜尋專輯:

排序	結果顯示	輸出格式:

CERN Document Server	找到 2,038 筆記錄 1 - 10 跳到記錄:	檢索需時 0.22 秒.

(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

詳細記錄 - 相似記錄

(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

詳細記錄 - 相似記錄

(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

詳細記錄 - 相似記錄

(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

詳細記錄 - 相似記錄

(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

詳細記錄 - 相似記錄

(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

詳細記錄 - 相似記錄

(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

詳細記錄 - 相似記錄

(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

詳細記錄 - 相似記錄

(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

詳細記錄 - 相似記錄

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;

詳細記錄 - 相似記錄

沒有尋找到什麼? 嘗試在以下的服務器查尋：
recid:2895015 在 Amazon recid:2895015 在 CERN EDMS recid:2895015 在 CERN Intranet recid:2895015 在 CiteSeer recid:2895015 在 Google Books recid:2895015 在 Google Scholar recid:2895015 在 Google Web recid:2895015 在 IEC	recid:2895015 在 IHS recid:2895015 在 INSPIRE recid:2895015 在 ISO recid:2895015 在 KISS Books/Journals recid:2895015 在 KISS Preprints recid:2895015 在 NEBIS recid:2895015 在 SLAC Library Catalog

CERN Document Server

Access articles, reports and multimedia content in HEP

Main menu

CERN Accelerating science