Cargando…

Formalizing Expert Knowledge in Order to Analyse CERN's Control Systems

The automation infrastructure needed to reliably run CERN's accelerator complex and its experiments produces large and diverse amounts of data, besides physics data. Over 600 industrial control systems with about 45 million parameters store more than 100 terabytes of data per year. At the same...

Descripción completa

Detalles Bibliográficos
Autores principales:	Voitier, Axel, Gonzalez-Berges, Manuel, Roshchin, Mikhail, Tilaro, Filippo
Lenguaje:	eng
Publicado:	2015
Materias:	Accelerators and Storage Rings
Acceso en línea:	https://dx.doi.org/10.18429/JACoW-ICALEPCS2015-WEPGF068 http://cds.cern.ch/record/2213504

Ejemplares similares

Model learning algorithms for anomaly detection in CERN control systems
por: Tilaro, Filippo, et al.
Publicado: (2018)

An expert knowledge based methodology for online detection of signal oscillations
por: Tilaro, Filippo, et al.
Publicado: (2017)

Integrating Web-Based User Interface Within Cern's Industrial Control System Infrastructure
por: Voitier, Axel, et al.
Publicado: (2015)

Database Archiving System for Supervision Systems at CERN: a Successful Upgrade Story
por: Golonka, Piotr, et al.
Publicado: (2015)

Data analytics reporting tool for CERN SCADA systems
por: Seweryn, Piotr, et al.
Publicado: (2018)

Supervision Application for the New Power Supply of the CERN PS (POPS)
por: Milcent, H, et al.
Publicado: (2011)

Automated Coverage Tester for the Oracle Archiver of WinCC OA
por: Voitier, A, et al.
Publicado: (2011)

IEC 61850 Industrial Communication Standards under Test
por: Tilaro, F M, et al.
Publicado: (2014)

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

Future archiver for CERN SCADA systems
por: Golonka, Piotr, et al.
Publicado: (2018)

Automatic PID performance monitoring applied to LHC cryogenics
por: Bradu, Benjamin, et al.
Publicado: (2018)

Evolution of the CERN Beam Instrumentation Offline Analysis Framework (OAF)
por: Samantas, Athanasios, et al.
Publicado: (2022)

Assessment And Testing of Industrial Devices Robustness Against Cyber Security Attacks
por: Tilaro, F, et al.
Publicado: (2011)

A fault diagnosis expert system prototype for the CERN PS
por: Malandain, E, et al.
Publicado: (1987)

A fault diagnosis expert system prototype for the CERN PS
por: Malandain, E, et al.
Publicado: (1987)

Java Expert GUI framework for CERN beam instrumentation systems
por: Bart Pedersen, S, et al.
Publicado: (2011)

A fault diagnosis expert system for cern using kee
por: Skarek, P, et al.
Publicado: (1988)

Detector and Run Control Systems for the NA62 Fixed-Target Experiment at CERN
por: Golonka, Piotr, et al.
Publicado: (2015)

Test-bench Design for New Beam Instrumentation Electronics at CERN
por: Gonzalez-Berges, Manuel, et al.
Publicado: (2020)

The Diamond Beam Loss Monitoring System at CERN LHC and SPS
por: Calvo Giraldo, Eva, et al.
Publicado: (2022)

Generation of frame-structured knowledge bases for a diagnostic expert system
por: Hubaud, O
Publicado: (1988)

Multi-platform SCADA GUI Regression Testing at CERN
por: Burkimsher, P C, et al.
Publicado: (2011)

Large-scale upgrade campaigns of SCADA systems at CERN - organisation, tools and lessons learned
por: Kulaga, Rafal, et al.
Publicado: (2018)

MONITORING CONTROL APPLICATIONS AT CERN
por: Bernard, F, et al.
Publicado: (2011)

TIP: An Umbrella Application for all SCADA-Based Applications for the CERN Technical Infrastructure
por: Varela, Fernando, et al.
Publicado: (2015)

Reusing the Knowledge from the LHC Experiments to Implement the NA62 Run Control
por: Varela, F, et al.
Publicado: (2014)

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

Centralized Data Engineering for the Monitoring of the CERN Electrical Network
por: Kiourkos, A, et al.
Publicado: (2014)

Cooperative expert systems in accelerator control results and CERN's contributions to the ESPRIT-II ARCHON project
por: Perriollat, F, et al.
Publicado: (1994)

Cooperating expert systems in accelerator control results and CERN's contributions to the ESPRIT-II ARCHON project
por: Perriollat, F, et al.
Publicado: (1994)

10 Orders of Magnitude Current Measurement Digitisers for the CERN Beam Loss Systems
por: Vigano, W, et al.
Publicado: (2013)

Mass-Accessible Controls Data for Web Consumers
por: Copy, B, et al.
Publicado: (2014)

Observation of high-order head-tail instabilities at the CERN-PS
por: Cappi, R
Publicado: (1995)

Observation of high-order head-tail instabilities at the CERN-PS
por: CAPPI, R
Publicado: (1994)

Observation of high-order head-tail instabilities at the CERN-PS
por: CAPPI, R
Publicado: (1994)

Measurement and Compensation of Second and Third Order Resonances at the CERN PS Booster
por: Urschütz, Peter
Publicado: (2004)

Higher-order mode damping of the CERN PS 40 MHz cavity
por: Jensen, E, et al.
Publicado: (1996)

Measurement and Compensation of Second and Third Order Resonances at the CERN PS Booster
por: Urschütz, Peter
Publicado: (2004)

CERN order no. CW/92612/MPS "C" section metal seals
Publicado: (1967)

Formalization of an HCI style for an accelerator restart monitoring
por: Ratcliffe, O, et al.
Publicado: (2004)

Cannot write session to /tmp/vufind_sessions/sess_jjogdo0htbudontn2bivk4ntht