CERN Accelerating science

Home > Search Results: recid:2305319
Search Tips
Advanced Search
Add to Search +
Search collections:
Sort by: Display results: Output format:
CERN Document Server 2,048 records found  1 - 10nextend  jump to record: Search took 1.06 seconds. 
1.
(100)
Applying model checking to critical PLC applications : An ITER case study / Fernández Adiego, Borja (CERN) ; Avinashkrishna, Bhimavarapu (TCS, Madhapur) ; Blanco Viñuela, Enrique (CERN) ; Darvas, Daniel (CERN) ; Gaikwad, Yogesh (TCS, Madhapur) ; Lee, Gisik (Mobiis Co. Ltd., Seoul) ; Pedica, Riccardo (Vitrociset, Rome) ; Prieto Diaz, Ignacio (IBERINCO, Madrid) ; Sallai, Gyula (Budapest, Tech. U.) ; Sreekuttan, Sailaraj (TCS, Madhapur)
The development of critical systems requires the application of verification techniques in order to guarantee that the requirements are met in the system. Standards like IEC 61508 provide guidelines and recommend the use of formal methods for that purpose. [...]
2018 - 5 p. - Published in : 10.18429/JACoW-ICALEPCS2017-THPHA161 Fulltext: PDF;
In : International Conference on Accelerator and Large Experimental Physics Control Systems, Barcelona, Spain, 8 - 13 Oct 2017, pp.THPHA161
Detailed record - Similar records
2.
(91)
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
3.
(63)
Cause-and-Effect Matrix Specifications for Safety Critical Systems at CERN / Fernández Adiego, Borja (CERN) ; Blanco Viñuela, Enrique (CERN) ; Bonet, Mateus (Santa Catarina U.) ; Charrondiere, Maryline (CERN) ; Hamisch, Henrique (Santa Catarina U.) ; Speroni, Roberto (CERN) ; de Queiroz, Max (Santa Catarina U.)
One of the most critical phases in the development of a Safety Instrumented System (SIS) is the functional specification of the Safety Instrumented Functions (SIFs). This step is carried out by a multidisciplinary team of process, controls and safety experts. [...]
2020 - 6 p. - Published in : 10.18429/JACoW-ICALEPCS2019-MOPHA041 Fulltext: PDF;
In : 17th Biennial International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS), New York, United States, 5 - 11 Oct 2019, pp.285
Detailed record - Similar records
4.
(50)
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
5.
(43)
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
6.
(39)
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
7.
(38)
PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs / Blanco Viñuela, Enrique (CERN) ; Darvas, Dániel (CERN) ; Molnár, Vince (Budapest, Tech. U.)
Programmable Logic Controllers (PLC) are widely used for industrial automation in industry and at CERN. The reliability of PLC software is crucial, but typically only testing is used to validate it. [...]
2020 - 7 p. - Published in : 10.18429/JACoW-ICALEPCS2019-MOBPP01 Fulltext: PDF;
In : 17th Biennial International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS), New York, United States, 5 - 11 Oct 2019, pp.21
Detailed record - Similar records
8.
(38)
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.
(37)
PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller / Tournier, Jean-Charles (CERN) ; Fernández Adiego, Borja (CERN) ; Lopez-Miguel, Ignacio D (CERN)
Programmable Logic Controllers (PLC) are widely used for industrial automation including safety systems at CERN. The incorrect behaviour of the PLC control system logic can cause significant financial losses by damage of property or the environment or even injuries in some cases, therefore ensuring their correct behaviour is essential. [...]
2022 - 5 p. - Published in : JACoW ICALEPCS2021 (2022) 248-252 Fulltext: PDF;
In : 18th International Conference on Accelerator and Large Experimental Physics Control Systems, Online, 18 - 22 Oct 2021, pp.248-252
Detailed record - Similar records
10.
(36)
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

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