Accelerator Reliability Workshop (ARW) 2022

Session

Breakout Session - Session 1: Critical PLC-Programs: How to Define “Software Reliability” And Use Formal Methods to Make Sure They Are Compliant with Specifications AND Session 2: Fault Tracking Show and Tell

Oct 18, 2022, 3:30 PM

Marriott Newport News at City Center

Conveners

Breakout Session - Session 1: Critical PLC-Programs: How to Define “Software Reliability” And Use Formal Methods to Make Sure They Are Compliant with Specifications AND Session 2: Fault Tracking Show and Tell

• There are no conveners in this block

Breakout Session - Session 1: Critical PLC-Programs: How to Define “Software Reliability” And Use Formal Methods to Make Sure They Are Compliant with Specifications AND Session 2: Fault Tracking Show and Tell: Breakout

• Ken Baggett (Jefferson Lab)
• rossano giachino (CERN)

Presentation materials

ARW2022_BreakoutSession.pptx

Breakout_Session_Fault_Tracking.pptx