fbdscenagen+: ga-based high-quality scenario generator...
TRANSCRIPT
![Page 1: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/1.jpg)
FBDScenaGen+: GA-based High-Quality Scenario Generator for FBD Simulation
Eui-Sub Kim, Sejin Jung, Junbeom YooDependable Software Laboratory
Konkuk University, Republic of Korea
Young Jun Lee, Jang Soo LeeMan-Machine Interface System Laboratory
Korea Atomic Energy Research Institute, Republic of Korea
![Page 2: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/2.jpg)
Contents
1. Introduction
2. Backgrounds
1. FBD Structural Coverage
2. Genetic Algorithm
3. FBD Simulation Framework
4. FBDScenaGen+(GA-based High-Quality Simulation Scenario Generator)
5. Case Study
6. Conclusions
![Page 3: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/3.jpg)
Introduction
• FBDScenaGen+: GA-based High-Quality Scenario Generator for FBD Simulation
– Objective
• High-Quality Scenario generation for FBD program simulation
– Target system:
• PLC-based software system in nuclear plants
• Typical development process : SRS – FBD – C – executable SW
Requirements
AnalysisDesign Implementation
SRSFBD / LD
ProgramsC Programs
Manual
Programming
FBD
Unit Testing
Executable
Code for PLC
Software Development Process for PLC
Automatic
TranslationC Compiler
System
Simulation
![Page 4: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/4.jpg)
Introduction
• Q. How Adequately the Testing has been Performed?
– Test Done = Test Plan Executed and All Codes Executed
• Q. How much efforts is needed to accomplish some coverages?
– Our Issue: FBD Coverage + GA Techniques High-quality scenarios
![Page 5: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/5.jpg)
BACKGROUNDS
1. FBD Structural Coverage
2. Genetic Algorithm
![Page 6: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/6.jpg)
FBD Structural Coverage
• A metric for measuring simulation effectiveness
– To help determine when a system is adequately tested
• Two coverage
– Toggle coverage
– MC/DC coverage Ex) 1-to-0 and 0-to-1 → 100% toggle coverage
![Page 7: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/7.jpg)
FBD Structural Coverage
• A metric for measuring simulation effectiveness
– To help determine when a system is adequately tested
• Two coverage
– Toggle coverage
– MC/DC coverage
![Page 8: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/8.jpg)
Genetic Algorithm
• Genetic algorithm (GA)
– A metaheuristic inspired by the process of natural selection.
– Belongs to the larger class of evolutionary algorithms (EA).
– High-quality solutions to optimization and search problems
Genetic algorithm
Best scenarios
Many scenario set
![Page 9: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/9.jpg)
Genetic Algorithm
• Genetic algorithm (GA)
– A metaheuristic inspired by the process of natural selection.
– Basic process: 1) selection, 2) crossover, 3) mutation
Many scenario setMany scenario set Best scenarios
![Page 10: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/10.jpg)
FBD Simulation Framework
• FBD Editor
• FBDScenaGen
• FBDSim
• FBDCover
![Page 11: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/11.jpg)
FBDScenaGen+(GA-based High-Quality Simulation Scenario Generator )
1. Initialization
2. Selection
3. Crossover
4. Mutation
5. Simulation
6. Evaluation (Fitness function)
7. Progress?
loop
Evolution!
![Page 12: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/12.jpg)
A genetic representation of scenario
• A chromosome = Sequence of Input value change
![Page 13: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/13.jpg)
Selection operator
• Select good chromosome for new generation (t+1)
• Roulette wheel selection for gene diversity
![Page 15: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/15.jpg)
Crossover operator
• Crossover with good chromosomes for new generation (t+1)
• Single point crossover
![Page 17: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/17.jpg)
Mutation operator
• Mutate a chromosome for gene diversity
![Page 19: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/19.jpg)
Fitness function
• fitness for toggle coverage:
– 𝑓𝑇 =
𝑛𝑢𝑏𝑒𝑟 𝑜𝑓 𝑡𝑜𝑔𝑔𝑙𝑒𝑑 𝑏𝑙𝑜𝑐𝑘𝑠𝑎𝑛𝑑 𝑜𝑢𝑡𝑝𝑢𝑡 𝑣𝑎𝑟𝑖𝑎𝑏𝑙𝑒𝑠
𝑛𝑢𝑚𝑏𝑒𝑟 𝑜𝑓 𝑏𝑜𝑜𝑙𝑒𝑎𝑛 𝑏𝑙𝑜𝑐𝑘𝑠𝑎𝑛𝑑 𝑜𝑢𝑡𝑝𝑢𝑡 𝑣𝑎𝑟𝑖𝑎𝑏𝑙𝑒
×2
• fitness for MC/DC coverage:
– 𝑓𝑀 =
𝑛𝑢𝑚𝑏𝑒𝑟 𝑜𝑓 𝑠𝑖𝑚𝑢𝑙𝑎𝑡𝑒𝑑𝑖𝑚𝑝𝑜𝑟𝑎𝑛𝑡 𝑐𝑜𝑚𝑏𝑖𝑛𝑎𝑡𝑖𝑜𝑛𝑠 𝑜𝑓 𝑐𝑜𝑛𝑑𝑖𝑡𝑖𝑜𝑛𝑠
𝑎𝑙𝑙 𝑖𝑚𝑝𝑜𝑟𝑡𝑎𝑛𝑡 𝑐𝑜𝑚𝑏𝑖𝑛𝑎𝑡𝑖𝑜𝑛𝑠 𝑜𝑓 𝑐𝑜𝑛𝑑𝑖𝑡𝑖𝑜𝑛𝑠𝑓𝑜𝑟 𝑎𝑙𝑙 𝑏𝑜𝑜𝑙𝑒𝑎𝑛 𝑓𝑢𝑛𝑐𝑡𝑖𝑜𝑛 𝑏𝑙𝑜𝑐𝑘𝑠
• fitness function:
– 𝑓 = 𝑓𝑇 × 𝑓𝑀
![Page 20: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/20.jpg)
Case Study
• Target: an example replicating a KNICS APR-1400 RPS BP
• We used our tool-set of
– FBD Editor
– FBDScenaGen+
– FBDSim
– FBDCover
![Page 23: FBDScenaGen+: GA-based High-Quality Scenario Generator …dslab.konkuk.ac.kr/Publication/ISOFIC2017_paper_pt.pdf · (GA-based High-Quality Simulation Scenario Generator) 5. Case Study](https://reader033.vdocument.in/reader033/viewer/2022051406/5ab24fd37f8b9abc2f8d9946/html5/thumbnails/23.jpg)
Conclusions
• We applied basic GA techniques to the scenario generation
– for a high-quality scenarios for FBD simulation
• The prime objective
– check a feasibility and efficiency of applying GA techniques
• We developed FBDScenaGen+
– it can automatically generates high-quality scenarios
– The result (quality of scenarios) is increased during repetition.
• Future work
– Using High-level AI techniques
– Adapting various fields in NPP