Event Schedule
Day 0
Friday, 11 October 2019
Technical tour of the Paks NPP
8:00
Bus leaves from the hotel for Paks
10:00 – 10:20
Welcome and refreshments on arrival
10:20 – 11:10
Tour of the Visitors Centre
11:10 – 12:30
Tour of Unit 4
12:30 – 13:30
Lunch Break (self-service)
14:00 – 15:30
Tour of the Maintenance Training Centre
16:00
Bus leaves for Budapest
Day 1
Monday, 14 October 2019
8:30 – 9:00
Registration
Opening Session
9:00 – 9:15
Welcome, Introductions, and Agenda
Mark Burzynski
SunPort SA
9:15 – 9:35
Message from Host
Gyula Máté Mach
MVM Paks NPP Ltd.
9:35 – 9:50
Message from the IAEA
Janos Eiler
IAEA
9:50 – 10:20
Coffee Break
Technical Session 1
10:20 – 10:50
Invited Presentation 1: Critical Issues and Lesson Learned in the Deployment of FPGA Based System in Nuclear Power Plants
Steven Arndt
U.S. Nuclear Regulatory Commission
10:50 – 11:20
Presentation 2: Using IEEE 1012 for V&V of FPGA-Based Equipment – Perspectives from the IEEE P1012 Working Group
David Hooten
Imperia Engineering Partners
11:20 – 11:40
Presentation 3: Status of IEC 62566-2
Andreas Mölleken
TÜV Rheinland
11:40 – 12:20
Presentation 4: TBD
Gerard Lekhema
National Nuclear Regulator of South Africa
12:30 – 14:00
Lunch Break
Technical Session 2
14:00 – 14:30
Presentation 5: Development of Criteria for the Diversity Assessment of FPGAs and CPLDs in Safety Related I&C Systems
Manuela Jopen
GRS
14:30 – 15:00
Presentation 6: Cyber Security Considerations in FPGA Design
Dr. Andrew White
United Kingdom – Office for Nuclear Regulation
15:00 – 15:30
Presentation 7: From function diagrams to silicon: How Framatome couples cutting-edge engineering software with FPGA controllers for safety applications
Mathieu Allory and Hayder Haouaneb
Framatome
15:30 – 16:00
Coffee Break
Technical Session 3
16:00 – 16:30
Presentation 8: Role & development methods of FPGAs in Rolls-Royce safety Platforms
Arnaud Duthou
Rolls-Royce
16:30 – 17:00
Presentation 9: Rock Creek Innovations Model-Based Development Lifecycle
Gregg Clarkson
Rock Creek Innovations
17:00 – 17:30
Presentation 10: How Formal Analysis proves the security of your FPGA design
Rachid Laaris
Cadlog
17:30 – 17:45
Open Discussion and Closing Statements
Mark Burzynski
SunPort SA
Individual Period for Local Attractions and Dinner
Day 2
Tuesday, 15 October 2019
9:00 – 9:15
Welcome, Introduction & Agenda
Mark Burzynski
SunPort SA
Technical Session 4
9:15 – 9:45
Presentation 11: An FPGA-based architecture for the French SMR I&C Protection System
Thuy Nguyen
Électricité de France
9:45 – 10:15
Presentation 12: TBD
Cyrus Afshar
NuScale Power
10:15 – 10:45
Coffee Break
Technical Session 5
10:45 – 11:15
Presentation 13: TBD
Lenka Riganova
Nuclear Regulatory Authority of the Slovak Republic
11:15 – 11:45
Presentation 14: Insights from NRC Reviews of FPGA Based Platforms
Sean Kelley
SunPort S.A.
11:45 – 12:15
Presentation 15: TBD
Daniel Estryk
National Commission for Atomic Energy for Argentina
12:15 – 12:30
Group Photo
12:30 – 14:00
Lunch Break
Technical Session 6
14:00 – 14:30
Presentation 16: Implementing PID loop using FPGA-based platform: Case Study
Kostiantyn Leontiiev
RPC Radiy
14:00 – 15:00
Presentation 17: Intelligent RTL Simulation Platform for Nuclear Safety System Application based on FPGA
Zhikai Liu
China Nuclear Control System Engineering Co., Ltd.
15:00 – 15:30
Presentation 18: Class 1 compliant design and verification process for FPGA-based I&C system
Satoshi Nishikawa
Hitachi, Ltd.
Technical Session 7
15:30 – 16:00
Coffee Break
16:00 – 16:30
Presentation 19: Development and Qualification of One-Step Logic Conversion Automation for FPGA Applications
Steve Yang
Doosan HF Controls
16:30 – 17:00
Presentation 20: RPCT: Integrated Development Environment for FPGA-based Applications
Steve Yang
Doosan HF Controls
17:00 – 18:00
Demonstration of RadICS Platform and RPCT
18:00 – 19:00
Break
19:00 – 21:00
Group Dinner at Hotel
Day 3
Wednesday, 16 October 2019
9:00 – 9:15
Welcome, Introduction & Agenda
Mark Burzynski
SunPort SA
Technical Session 8
9:15 – 9:45
Presentation 21: Regulatory Experience in Reviewing the FPGA-based Controller in Korea
Yongil Kwon
Korea Institute of Nuclear Safety
9:45 – 10:15
Presentation 22: LM Application of FPGA and Digital Safety Platforms
Larry Erin
Lockheed Martin
10:15 – 10:45
Coffee Break
10:45 – 11:15
Presentation 23: Using Sequential Equivalence Checking to Verify Implementation of FPGAs for NPP Applications
Hayder Haouaneb Framatome and Vlada Kalinic
OneSpin Solutions
11:15 – 11:45
Presentation 24: Trends for FPGA Technology in Safety Critical Applications
Mark Burzynski
SunPort SA
11:45 – 12:30
Final Discussion on Recommendations, Future Activities, and Closing the Meeting
Mark Burzynski
SunPort SA
12:30 – 14:00