Overview

Accommodations

Agenda

Social Events

Travel Package

Important
Information


Report on
Radiy's FPGA
Applications


Workshop
presentations and photos




Date:
October 8-11, 2013

Hosted By:
RPC Radiy
www.radiy.com

Location:
29 Geroyev Stalingrada St.,
25009, Kirovograd, Ukraine

Agenda


Below is the final agenda for your reference.


Day 1 - Tuesday, 8 October 2013

Time Event Speaker
8:00 - 09:00 Coffee and Registration in Conference Room
Opening Session Co-Chairs:
János Eiler, IAEA
Oszvald Glöckler, SunPort SA
09:00 - 09:10 Welcoming remarks by the Governor of
the Kirovograd Region
Andriy Nikolaenko,
Head of Regional State
Administration
09:10 - 09:20 Welcoming remarks by the IAEA János Eiler,
Scientific Secretary
IAEA NPES
09:20 - 09:25 Welcoming remarks by the Host
Organization, RPC Radiy
Ievgenii Bakhmach, Radiy
09:25 - 09:30 Welcoming remarks by the State Nuclear
Regulatory Committee of Ukraine
Aleksander Zadorozhniy,
SNRC
09:30 - 09:40 Welcoming remarks by SunPort SA Oszvald Glöckler,
CEO of SunPort SA
09:40 - 09:50 Welcoming remarks by the Topical Group
on FPGA Applications in
NPPs (TG-FAN)
Nguyen Thuy,
Chairman of TG-FAN
09:50 - 10:10 Agenda, Workshop Activities,
Practical Information
Alexander Siora, Radiy
Oszvald Glöckler, SunPort SA
János Eiler, IAEA
10:10 - 10:40 Coffee Break
10:40 - 11:20 Invited Presentation: Formal Verification of
IEC 61131 Function Block Designs
Mark Lawford,
McMaster University
11:20 - 12:00 Invited Presentation: Diversity assessment of
NPP I&C systems developed using of
FPGA-based platform
Vyacheslav Kharchenko,
Radiy
12:00 - 13:00 Technical Tour of Radiy's Design, Production,
and Testing Facilities
All
13:00 - 14:00 Lunch Break
Technical Session 1 Chair:
Sergio Russomanno, SunPort SA
14:00 - 14:30 Lesson Learned from using FPGA-based
platform for NPP I&C refurbishment
Vladimir Sklyar,
Radiy
14:30 - 15:00 Formal VHDL Verification Using Free
Licence Tools
Nguyen Thuy, EdF
Alexander Wigg, EdF
15:00 - 15:30 FPGA Testing for V&V under
IEC62566 Guideline
Chaoli Li, CNCS
15:30 - 16:00 Coffee Break
Technical Session 2 Chair:
Sergio Miranda, CTMSP
16:00 - 16:30 FPGA Applications in I&C Modernization
Projects
Sergio Russomanno,
SunPort SA
16:30 - 17:00 Is More Than One Development Process
Needed?
Steve Seaman,
Westinghouse
17:00 - 17:30 Challenges in Certification of FPGA-based
Safety Platform against IEC 61508
Anton Andrashov,
Radiy
17:30 - 18:00 Discussions and Closing Day 1 All
18:00 Dinner at Radiy accompanied with music All




Day 2 - Wednesday, 9 October 2013

Time Event Speaker
8:00 - 09:00 Coffee and Registration in Conference Room
Technical Session 3
09:00 - 10:00 Panel Discussion on
Regulation and Standards
Facilitator:
Nguyen Thuy, EdF
10:00 - 11:00 Panel Discussion on
Certification and Verification
Facilitator:
Mark Lawford,
McMaster University
11:00 - 11:30 Coffee Break
Technical Session 4
11:30 - 13:00 Demonstration: Design and V&V
techniques and tools for
FPGA-based applications:

Introduction of FPGA-based platform,
Safety life cycle of FPGA-based platform,
Testing of FPGA Electronic Design,
Fault insertion testing,
Platform validation testing,
Application validation testing.
Vladimir Sklyar,
Anton Andrashov,
Oleg Odarushchenko,
Alexander Ivasyuk,
Eugene Bulba,
Andrei Rezunenko,
Anton Gudz,
Sergey Shcherbachenko
,
Radiy
13:00 - 14:00 Lunch
Technical Session 5 Chair: János Eiler, IAEA
14:00 - 14:30 Introduction of the IAEA Draft Report
on "Application of Field Programmable
Gate Arrays (FPGAs) in Instrumentation
and Control Systems of NPPs"
14:30 - 16:00 Discussing the IAEA draft report in
four break-out groups:
1. Introduction to the FPGA Technology
2. Methods and Tools for
Development and Verification
3. Qualification and Licensing
4. Application Examples,
FPGA-based Replacement Systems
and New Designs
16:00 - 16:30 Coffee Break
16:30 - 18:00 Discussing the IAEA draft report in
four break-out groups
All
18:00 - 18:40 City bus tour All
18:40 - 21:00 Dinner at Admiral Restaurant All




Day 3 - Thursday, 10 October 2013

Time Event Speaker
8:00 - 09:00 Coffee and Registration in Conference Room
Technical Session 6 Chair: János Eiler, IAEA
09:00 - 11:00 Discussing the IAEA draft report in
four break-out groups
All
11:00 - 11:30 Coffee Break
Technical Session 7 Chair: ZhaoChang Zeng, CNSC
11:30 - 12:00 Aspects of Applying IEC 61508 Edition 2 to
Certification of the Radiy FPGA Safety Controller
... continued
David Fournier,
Exida
12:00 - 12:30 Short Summary of FPGA Application Licensing Aspects Karoly Hamar, HAEA
12:30 - 13:00 The Study on the prototype-making for Safety
system based on FPGA in the process
of Chines HAF 601 licensing
Jialin Liang, CNCS
13:00 - 14:00 Lunch
Technical Session 8 Chair: Tang Yi, CNSC
14:00 - 14:30 Use of FPGA Based Components and Systems
in CANDU Nuclear Power Plants
John Harber,
CANDU Energy
14:30 - 15:00 FPGA based safety controller design and its
application to NPPs
Hyungjun Ha,
DOOSAN
15:00 - 15:30 FPGA based Safety Platform Architecture Zeng Hai, SNPAS
15:30 - 16:00 Coffee Break
Technical Session 9 Chair: Alexander Wigg, EdF
16:00 - 16:30 FPGA-based system used in Yangjiang Unit 5/6 Chunlei Zhang, CTEC
16:30 - 17:00 Cyber-security assessment of FPGA-based NPP I&Cs Oleg Illiashenko,
National Aerospace University "KhAI"
17:00 - 17:30 Real-time monitoring system based on FPGA
devices for nuclear waste repositories
Sergio Sciré Scappuzzo,
LNS - INFN
17:30 - 18:00 Discussions and Closing Day 3
18:00 - 19:20 Dramatic and Musical Theatre performance All
19:30 Banquet at Theatre All




Day 4 - Friday, 11 October 2013

Time Event Speaker
8:00 - 09:00 Coffee and Registration in Conference Room
Technical Session 10 Chair: János Eiler, IAEA
09:00 - 10:30 Discussing the IAEA draft report in
four break-out groups
All
10:30 - 11:00 Coffee Break
11:00 - 12:00 Reporting on the results of the four
break-out groups and discussions
(plenary session)
All
Closing Session Co-Chairs:
János Eiler, IAEA
Oszvald Glöckler, SunPort SA
12:00 - 13:00 Summaries of Sessions on:
1. IAEA Draft Report
2. Panel Discussion on Regulation and Standards
3. Panel Discussion on Certification and Verification

Recommendations
Next Workshop
Closing the Workshop
All
13:00 - 14:00 Lunch
14:00 - 18:00 Free Time
18:00 Social Event and Dinner All