Cargando…

Cause-and-Effect Matrix Specifications for Safety Critical Systems at CERN

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. This functional specification must be si...

Descripción completa

Detalles Bibliográficos
Autores principales:	Fernández Adiego, Borja, Blanco Viñuela, Enrique, Bonet, Mateus, Charrondiere, Maryline, Hamisch, Henrique, Speroni, Roberto, de Queiroz, Max
Lenguaje:	eng
Publicado:	2020
Materias:	Accelerators and Storage Rings
Acceso en línea:	https://dx.doi.org/10.18429/JACoW-ICALEPCS2019-MOPHA041 http://cds.cern.ch/record/2777804

Ejemplares similares

Safety instrumented systems and the AWAKE plasma control as a use case
por: Blanco Viñuela, Enrique, et al.
Publicado: (2018)

Towards the Optimization of the Safety Life-Cycle for Safety Instrumented Systems
por: Fernández Adiego, Borja, et al.
Publicado: (2022)

Experience with static PLC code analysis at CERN
por: Tsiplaki Spiliopoulou, Christina, et al.
Publicado: (2018)

Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program
por: Fernández Adiego, Borja, et al.
Publicado: (2022)

PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques
por: Darvas, Dániel, et al.
Publicado: (2015)

Applying model checking to critical PLC applications: An ITER case study
por: Fernández Adiego, Borja, et al.
Publicado: (2018)

Model-based automated testing of critical PLC programs.
por: Fernández Adiego, B, et al.
Publicado: (2014)

Simplification of numeric variables for PLC model checking
por: Lopez-Miguel, Ignacio D, et al.
Publicado: (2021)

Bringing Automated Model Checking to PLC Program Development - A CERN Case Study
por: Fernandez Adiego, B, et al.
Publicado: (2014)

Compensation of Beam Induced Effects in LHC Cryogenic Systems
por: Bradu, Benjamin, et al.
Publicado: (2016)

Applying Model Checking to Industrial-Sized PLC Programs
por: Fernandez Adiego, Borja, et al.
Publicado: (2015)

UNICOS CPC6: Automated Code Generation for Process Control Applications
por: Fernandez Adiego, B, et al.
Publicado: (2011)

Testing and Verification of PLC Code for Process Control
por: Blanco Vinuela, E B, et al.
Publicado: (2014)

Bringing Automated Formal Verification to PLC Program Development
por: Fernández Adiego, Borja
Publicado: (2015)

Automated Formal Verification for PLC Control Systems
por: Fernández Adiego, Borja
Publicado: (2014)

PROFINET communication card for the CERN cryogenics crate electronics instrumentation
por: Mastyna, Rafal, et al.
Publicado: (2018)

MONARC: Supervising the Archiving Infrastructure of CERN Control Systems
por: Tournier, Jean-Charles, et al.
Publicado: (2020)

Formal verification of complex properties on PLC programs
por: Darvas, D, et al.
Publicado: (2014)

Model Oriented Application Generation for Industrial Control Systems
por: Copy, B, et al.
Publicado: (2011)

Automated Generation of Formal Models from ST Control Programs for Verification Purposes
por: Fernandez Adiego, B, et al.
Publicado: (2014)

Online analysis for anticipated failure diagnostics of the CERN cryogenic systems
por: Gayet, Philippe, et al.
Publicado: (2018)

Modelling and Formal Verification of Timing Aspects in Large PLC Programs
por: Fernandez Adiego, B, et al.
Publicado: (2014)

Renovation of the SPS Personnel Protection System: A Configurable Approach
por: Ladzinski, Tomasz, et al.
Publicado: (2020)

Virtual control commissioning for a large critical ventilation system: The CMS cavern use case
por: Booth, William, et al.
Publicado: (2018)

PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller
por: Tournier, Jean-Charles, et al.
Publicado: (2022)

Transforming PLC Programs into Formal Models for Verification Purposes
por: Darvas, D, et al.
Publicado: (2013)

Nonlinear Model-Based Predictive Control applied to Large Scale Cryogenic Facilities
por: Blanco Vinuela, Enrique
Publicado: (2001)

Challenges of Automating the Photocathode Fabrication Process at CERN
por: Charrondière, Cedric, et al.
Publicado: (2022)

UNICOS Evolution: CPC Version 6
por: Blanco Vinuela, E, et al.
Publicado: (2011)

Wall current monitor using PXI and LabVIEW at CERN
por: Charrondiere, Cedric, et al.
Publicado: (2018)

Industrial stepping motors integration in the UNICOS-CPC framework
por: Fernandez Cortes, Jesus, et al.
Publicado: (2018)

Ground vibration monitoring at CERN as part of the international seismic network
por: Charrondiere, Cedric, et al.
Publicado: (2018)

Formal Methodology for Safety-Critical Systems Engineering at CERN
por: Valentini, F, et al.
Publicado: (2014)

What is special about PLC software model checking?
por: Darvas, Daniel, et al.
Publicado: (2018)

A Formal Specification Method for PLC-based Applications
por: Darvas, Dániel, et al.
Publicado: (2015)

Continuous Integration for PLC-based Control Systems
por: Schofield, Brad, et al.
Publicado: (2020)

Example of cryogenic process simulation using EcosimPro: LHC beam screen cooling circuits
por: Bradu, Benjamin, et al.
Publicado: (2013)

PLC code generation based on a formal specification language
por: Darvas, Daniel, et al.
Publicado: (2017)

Conformance checking for programmable logic controller programs and specifications
por: Darvas, Daniel, et al.
Publicado: (2016)

PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs
por: Blanco Viñuela, Enrique, et al.
Publicado: (2020)

Cannot write session to /tmp/vufind_sessions/sess_qmitvfvakod1s5n2c4suvp0kl7