Past topics¶ 2025¶ Reference Title Links RAWG Beam Interlock System v2 Reliability Studies (M. Blaszkiewicz) RAWG LHC Collimator Control System Reliability Studies (R. Ferraro) RAWG Discussion RAWG EAM to AFT linking plug-in - Workflow for 2025 & Demo (A. Asko, G. Perinic, L. Felsberger, P. Jurcso, R. Almeida) RAWG Discussion RAWG SY/BI (K. Blantos) RAWG SY/EPC (A. Byszuk, V. Nappi) RAWG TE/MPE (A. Colinet) RAWG HSE/RP (C. Laforge) RAWG Discussion RAWG Risk assessment and derived maintenance strategies for normal-conducting magnets across the complex (D. Schoerling) RAWG LHC DQHDS lifetime studies (D. Carrillo) RAWG Cryogenics CHARM radiation campaign results and IC life testing (N. Chatzipapas) RAWG Discussion RAWG Reliability Testing Infrastructure at CERN: An Overview of the QART Lab (A. Sharma) 2024¶ Reference Title Links RAWG Discussion RAWG PLCverif Extension: Verifying LTL Properties via Monitor Generation (X. Fink) RAWG 𝜇CFI: Formal Verification of Microarchitectural Control-flow Integrity (K. Ceesay-Seitz) RAWG Discussion RAWG Overview of Accelerator Availability in 2024 (J. Heron) RAWG Discussion on commonalities of workflow across equipment groups RAWG EN-CV use case (S. Deleval) RAWG Discussion RAWG EAM and AFT Integrations Developments (G. Perinic, P. Jurcso) RAWG AFT Survey Outcome and Recommendations (L. Felsberger) RAWG A proposal for EAM and AFT workflow for EN-EL (P. Penades Huesca) RAWG A proposal for the implementation of the EAM to AFT linking plug-in (R. Almeida) RAWG Conference reports and highlights - PHMe, NFM, ESREL (F. Waldhauser, M. Blaszkiewicz, X. Fink) RAWG Discussion RAWG AvailSim4: Open Source Framework For Availability And Reliability Simulations (M. Blaszkiewicz) RAWG Accelerator Availability in the First Half of 2024 and AFT Update (B. Mikulec) RAWG RAWG Organisational Change and Update on Activities (L. Felsberger) RAWG Baseline Proposal for EAM and AFT Integration - Next steps and indicative timeline RAWG RAWG News (B. Mikulec, J. Uythoven) RAWG An adaptive operational model for the FCC-ee (V. Kain) RAWG Availability and Luminosity in the FCC-ee (J. Heron) RAWG Automatizing Component-FMECA Analyses for Electronics Assemblies (M. Blaszkiewicz) RAWG High Reliability Electronics design and Single Fault Tolerant circuitry applied on the BLM Tunnel Crate for SPS (W. Vigano') RAWG Hybrid Failure Prediction: Using Simulations to Compensate for Missing Failure Data (F. Waldhauser) RAWG Fault Tracking in TE-CRG (L. Delprat) RAWG RAWG news (B. Mikulec, J. Uythoven) RAWG AFT Status and Plans (A. Asko, L. Felsberger) RAWG Fault Tracking in SY-BI (C. Zamantzas) RAWG RAWG news (B. Mikulec, J. Uythoven) 2023¶ Reference Title Links RAWG Fault Tracking in SY-RF (S. Ramberger) RAWG R2E fault tracking workflow and overview of the machine performance (Y. Aguiar) RAWG RAWG news (B. Mikulec, J. Uythoven) RAWG Fault Tracking in SY-ABT (T. Kramer) RAWG Fault Tracking in SY-EPC (R. Tegas) RAWG RAWG news (B. Mikulec, J. Uythoven) RAWG Overview of AFT developments in 2023 (A. Asko) RAWG Overview of Accelerator Availability in 2023 (L. Felsberger) RAWG AFT - Update of Fault Recording Guidelines (L. Felsberger) RAWG LINAC4 Automatic Fault Recording – Recent Achievements and Future Plans (P. Skowronski) RAWG LHC Automatic Fault Recording – Recent Achievements and Future Plans (M. Hostettler) RAWG RAWG news (J. Uythoven) RAWG EAM and reliability features in EAM (G. Perinic, P. Jurcso) RAWG RAWG News (J. Uythoven) RAWG Fault Tracking in BE-CEM – Tools, Methods and Future Plans (E. Fortescue) RAWG RAWG News (B. Mikulec, J. Uythoven) RAWG FCCee - the availability challenge: targets, shortfalls and game-changing opportunities (J. Heron) RAWG Fault Tracking in EN-CV – Tools, Methods and Future Plans (S. Deleval) RAWG RAWG News (B. Mikulec, J. Uythoven) RAWG Discussions RAWG Fault Tracking in HSE-RP – Open questions and Challenges (F. Waldhauser) RAWG Fault Tracking in EN – Tools, Methods and Future Plans (D. Lafarge, S. Deleval) RAWG AFT news (A. Asko, L. Felsberger) RAWG Advancing Data Understanding Using Live Assurance Cases using KPIs and SPIs – An LHC Machine Protection System Case Study (L. Millet) RAWG Safety Seminar - Joined CTTB ICF and RAWG Meeting RAWG Previous Minutes and Announcements (J. Uythoven) RAWG Coffee & Croissant - 774-1-017 RAWG Intelligent Condition Prediction - Challenges and solution approaches (P. Zeiler) RAWG Interpretable Anomaly Detection in the LHC Main Dipole Circuit with Non-negative Matrix Factorization (C. Obermair) RAWG PhD Project: Condition Monitoring for Power Converters (T. Baumann) RAWG Discussions RAWG Introductions of CERN groups and activities related to PHM (B. Todd, B. Mikulec, B. Fernandez Adiego, C. Zamantzas, D. Wollmann, F. Velotti, J. Uythoven, K. Papastergiou, M. Zerlauth, R. Murillo Garcia, R. Schmidt) RAWG Introduction and overview of activities of Prof. Zeiler (P. Zeiler) RAWG RAWG News (J. Uythoven) RAWG Introduction to the verification of neural networks running on a PLC: an LHC cooling tower example. (B. Fernandez Adiego, I. Lopez) RAWG Formal Methods Interest Group – Introduction and Recent Activities (B. Fernandez Adiego) RAWG AOB RAWG Call for future topics RAWG Update on Accelerator Fault Tracking for 2023 (L. Felsberger) RAWG Update of name and mandate of working group (B. Mikulec, J. Uythoven) 2022¶ Reference Title Links RAWG Design and Formal Verification of the Ultra-Low Current Digitizer ASIC ACCURATE 2 (K. Ceesay-Seitz, S. Kundumattathil Mohanan) RAWG Discussion RAWG FRAS Protection Layers (B. Fernandez Adiego, M. Sosin) RAWG Formal verification of PLC programs with PLCverif. Developer and user perspectives (I. Lopez Miguel) RAWG Overview of CERN Dependability Projects (V. Schramm) RAWG Reliability study of the fast and slow power abort signals (M. Chioteli) 2021¶ Reference Title Links RAWG SPS (V. Kain) RAWG PS (B. Mikulec) RAWG PSB (G. Di Giovanni) RAWG LINAC4 (P. Skowronski) RAWG Overview of Future AFT Developments (A. Asko) RAWG A digital electronics design use case and general conclusions (H. Boukabache, K. Ceesay-Seitz) RAWG Introduction to formal methods and an Industrial Controls use case (B. Fernandez Adiego) RAWG Discussion on the Electronics Design Dependability Checklist (B. Todd) RAWG Documentation Set for Industrial Production (P. Bell) RAWG Discussion RAWG Reliability analysis of EE system for HL-LHC (M. Blaszkiewicz) RAWG Discussion on Formal Methods and Verification in the RASWG (B. Fernandez Adiego, E. Blanco Vinuela, H. Boukabache) RAWG Introduction to RASWG activities (A. Apollonio, B. Todd, V. Schramm) RAWG The EP/DT Quality Assurance & Reliability Testing Lab (A. La Rosa) RAWG BIS v2 CIBM Reliability Analysis (K. Osman) RAWG Designing, Validating and Demonstrating High Reliability for the DI/OT Hardware Kit (V. Schramm) RAWG AvailSim4 Status Update and its Application to LHC and SPS RF Solid-State Power Amplifier Availability Modeling (L. Felsberger, T. Cartier-Michaud) RAWG Verification of the CERN RadiatiOn Monitoring Electronics (CROME) compliant to IEC 61508 (K. Ceesay-Seitz, S. Hurst) 2020¶ Reference Title Links RAWG Discussion RAWG Reliability information for the Safety Instrumented Systems at CERN - The SM18 cluster F case study (B. Fernandez Adiego) RAWG Machine Learning Study of CLIC RF Breakdowns (C. Obermair) RAWG An Introduction to Continuous Integration and its Implementation for PC Controllers (S. Uznanski) RAWG Reliability estimation of the QDS via data mining of PM (G. Blarasin) RAWG Risk matrices for CERN accelerators (T. Cartier-Michaud) RAWG SmartLINAC, Future technologies for medical Linacs, the project and its applications (Y. Donon) RAWG Tackling Time Series Data Sets with Metric Based Few Shot Learning (C. Obermair) RAWG Summary and Main Outcomes of the 2019 Accelerator Reliability Workshop (A. Apollonio) RAWG Summary of the 2019 Conference on System Reliability and Safety (L. Felsberger) RAWG Optimizing Availability Using a Digital-Twin Implementation - a CERN Case Study (L. Felsberger) 2019¶ Reference Title Links RAWG Preliminary Results of Accelerator Systems Reliability Data Analysis (T. Cartier-Michaud) RAWG Upgrade of the Control and Interlock System (CIS) of the SPS Main Power Converters (J. De Paco Soto) RAWG Thesis Update - LBDS Reliability Analysis Run 2 (M. Geppert) RAWG Analysis of LHC and Injector systems dependability during Run2 (M. Vekaria) RAWG WIC PLC Reliability Studies (M. Blumenschein) RAWG Master Thesis Introduction: LBDS reliability in Run 2 (M. Geppert) RAWG Safety Instrumented Systems - A CERN case study (B. Fernandez Adiego) RAWG Screening and Reliability Testing of Beam Loss Monitor Electronics at CERN (S. Eitelbuss, V. Schramm) RAWG Comparing Redundancy and Predictive Maintenance Strategies for Highly-Available Systems (L. Felsberger) RAWG RAMS 2019 Conference Report (M. Blumenschein, V. Schramm) RAWG Availability Studies for CLIC (O. Rey Orozco) RAWG MARP Status Update (A. Apollonio) RAWG Introduction - Risk Matrices for CERN Accelerator Chain (R. Garcia Alia) RAWG Risk Matrices for CERN Accelerator Chain (J. Uythoven) RAWG Reliability Analysis of the Quench Protection System of the 11 Tesla Dipole (D. Sollich) 2018¶ Reference Title Links RAWG Combining Reliability Statistics with Physics of Failure to Study and Simulate the Operational Availability of Redundant Power Converters. (L. Felsberger) RAWG Update on the Electrical Faults in the LHC superconducting Magnets and Circuits (E. Vergara Fernandez) RAWG Reviewing Two Power Supplies in terms of Reliability Data Management, Redundancy Solution and Maintenance Strategy (L. Felsberger) RAWG Reliability study of the BIS power converters faults (C. Martin, Y. Thurel) RAWG Availability Simulation tools (A. Apollonio) RAWG AvailSim (M. Motyka) RAWG AvailSim: The user perspective (O. Rey Orozco) RAWG Discussion and recomendations RAWG Reliability Requirements and Initial Risk Estimation (RIRE) method at the example of the QPS. (M. Blumenschein) RAWG Design for reliability on the example of the FGClite (J. Schwenk) RAWG Comparison between OpenMars and the Common Input Format modelling languages (O. Rey Orozco) RAWG Availability studies for the FCC (A. Niemi) RAWG Reliability Considerations for the MKB Re-Trigger Update (E. Renner) RAWG Reliability Considerations for the MKB Re-Trigger Update (E. Renner) RAWG CLIC Availability Studies and Operating Cycle (O. Rey Orozco) RAWG Classical and modern dependability methods to analyse electrical faults in the LHC superconducting magnets and circuits (E. Vergara Fernandez) RAWG Reliability as inverse problem: an alternative approach to quantitative reliability studies (L. Felsberger) RAWG Reliability modelling with dynamic flowcharts (A. Apollonio) 2017¶ Reference Title Links RAWG Follow-up: Common Input Format of Reliability models (M. Blumenschein) RAWG Comparing reliability prediction standards (MIL-Hdbk 217, MIL-Hdbk 217+ and FIDES) and conclusion (S. Hurst, V. Schramm) RAWG Accelerators Reliability Workshop Summary (A. Niemi, E. Vergara Fernandez, V. Schramm) RAWG Common Input Format translator and availability simulation (M. Motyka) RAWG STAMP Analysis of the Inner Triplet Protection System (D. Hugle) RAWG Status of the Input format and Software packages for Dependability studies (A. Niemi, M. Blumenschein, O. Rey Orozco) RAWG EDMS folder for dependability studies (M. Blumenschein) RAWG Open Accelerator Reliability Information System Project (A. Niemi) RAWG Lessons learnt from Isograph Training (E. Vergara Fernandez, M. Blumenschein, S. Hurst) RAWG Availability Modelling Translation Toolkit (E. Dona) RAWG Accelerator systems complexity measurement (O. Rey Orozco) RAWG Classical and modern dependability methods for Project Management (E. Vergara Fernandez) RAWG STAMP method for system analysis (D. Hugle) RAWG Availability simulation software functionalities list RAWG FCC Availability Studies (A. Apollonio, A. Niemi) RAWG Ideas for measuring complexity of accelerator systems (O. Rey Orozco) RAWG ESS RAMI Studies and AvailSim simulation software (E. Bargalló) RAWG Future work on AvailSim RAWG Reliability Targets for the SPS Beam Dump in Point 5 (M. Blumenschein) RAWG Methodology to Prepare an MTTF Prediction after the MIL-HDBK 217F at CERN (V. Schramm) RAWG How to define Reliability targets in function specifications (M. Blumenschein) RAWG Reliability analysis of Radiation Protection models (S. Hurst) RAWG Common input format of Availability Models (E. Dona, O. Rey Orozco) RAWG Principles to define table format for definition and management of models in reliability engineering (A. Niemi) 2016¶ Reference Title Links RAWG Linac 4 Reliability Run (A. Apollonio) RAWG STPA Workshop summary (R. Schmidt) RAWG FCC Availability studies (A. Niemi) RAWG D1 Magnet Protection: Reliability Analysis (A. Fernandez Navarro) RAWG Studies of the SPS Beam Dump reliability (M. Blumenschein) RAWG Risk Reduction Levels - Integrity levels (B. Todd) RAWG Linac4 Failure Catalogue and Availability model (O. Rey Orozco) RAWG First ideas for Linac4 Reliability Run (A. Apollonio) RAWG Follow-up of Availability Modelling Workshop (A. Apollonio, O. Rey Orozco) RAWG Studies of the SPS Beam Dump reliability (M. Blumenschein)