Resources

To access session resources, you must be logged in and registered for the meeting.

Register NowLog In


Papers

To access paper attachments, you must be logged in and registered for the meeting.

Register NowLog In

Nuclear Energy Agency's Consensus Position on Regulatory Inspections of Digital Instrumentation and Control Systems and Components Important to Safety used at Nuclear Power Plants – Inspection Framework

10:00–10:25AM EDT

Ismael L. Garcia (U.S. Nuclear Regulatory Commission)

Analyzing Defense-in-Depth Properties of Nuclear Power Plant Instrumentation and Control System Architectures Using Ontologies

10:25–10:50AM EDT

Kim Björkman (VTT Technical Research Centre of Finland), Antti Pakonen (VTT Technical Research Centre of Finland)

Development of a new IEC Technical Report on System Software Vulnerability Management and System Software End-of-Life Management for I&C and Electrical Power Systems in Nuclear Power Plants

10:50–11:15AM EDT

Juergen E. Bochtler (Siemens Energy Global), Edward L. Quinn (Paragon Energy Solutions)

Model-Checking I&C Logics -- Practical Examples

11:15–11:40AM EDT

Antti Pakonen (VTT Technical Research Centre of Finland)


Discussion

To join the conversation, you must be logged in and registered for the meeting.

Register NowLog In