anintegratedsoftwaredevelopmentframeworkan integrated...
TRANSCRIPT
![Page 1: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/1.jpg)
ISOFIC 20142014.08.24~08.28, Jeju
An Integrated Software Development FrameworkAn Integrated Software Development Frameworkfor
PLC & FPGA based Digital I&Cs
Junbeom Yoo, Eui-Sub Kim, Dong Ah LeeKONKUK University
and
Jong Gyun ChoiJong-Gyun ChoiKorea Atomic Energy Research Institute (KAERI)
1
![Page 2: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/2.jpg)
Model-Based Development for I&C Software
MBD(Model-Based Development)
: Soft are de elopment approaches in hich abstract models of soft are s stems are: Software development approaches in which abstract models of software systems are created and systematically transformed to concrete implementations
• Reducing the gap between problem and software implementation domain• Using technologies that support systematic transformation of problem-level abstractions to
software implementationssoftware implementations• Using models that describe complex systems at multiple levels of abstraction through automated
support for transforming and analyzing models
Problems
A wide conceptual gapSystematic
Transformation
A wide conceptual gap
Software Implementations
2
![Page 3: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/3.jpg)
MBD for I&Cs
Highly recommended to systematically cope with standards and regulations on software safetyHighly recommended to systematically cope with standards and regulations on software safety
Formal Model Modeling Tools
Model
Model
Transformation Tools
Analysis Tools
Testing Tools
through
Effectively linked
forwardly& backwardly
SpecificDomains
Code
g
Verification Tools
3
![Page 4: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/4.jpg)
The Platform Change of Digital I&Cs from PLC to FPGA
In order to reduce the maintenance cost of PLCs and use more computation power than PLCs
However, it is too risky!
It is not the change of SW development methods, but that of development paradigms.
HW-Centric
PLC → FPGA ≒ CPU-based Software → Net-based Hardware
HW-Centric Development
Netlists design for FPGAFBD programs for PLC
4
Netlists design for FPGAp g
![Page 5: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/5.jpg)
Typical Software Development Process for PLC-based I&Cs
Requirements Analysis ImplementationDesign
Safety an
FTA FMEA HAZOP FTA HAZOP
nalysis
FTA, FMEA, HAZOP FTA, HAZOP
by PLC SW Engineering Tools
C Program
Executable Code for
PLC
Develo
pm
en Manual
SRSFBD/LDProgram
PLCCOTS Compiler
nt
Ve
ManualProgramming Automatic Translator
erification
InspectionInspection Testing Simulation/ Testing
5
![Page 6: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/6.jpg)
Typical Software Development Process for FPGA
Requirements Analysis Design FPGA Implementation
SRSHDL
Program(Verilog, VHDL)
Netlist JEDECSynthesis
OptimizationDownloadingManual
ProgrammingPlacement & RoutingDesign Verification
Configuration
FPGA
by FPGA SW Engineering Tools
Th ll l f f t l i d ifi ti th PLCThe parallel processes for safety analysis and verification as the PLC have not yet been defined for safe-level I&C Applications!!!
No commercial FPGA implementation for RPS or ESF-CCS, yet.
6
p , y
![Page 7: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/7.jpg)
An Overlap of Two SW Development Processes
Requirements Analysis ImplementationDesign
Safety analy
PLC Implementation
FTA, FMEA, HAZOP FTA, HAZOP
FBD/LD
ysisD
e
Executable Code for
PLC
PLC
C Program
COTS SW Engineering Tools
SRS
FBD/LDProgram
evelopm
ent FPGA Implementation
g g
Verilog / VHDLProgram
Netlist
FPGA
Verilog
VHDL
Verificcatio
n COTS SW Engineering ToolsInspection Inspection
![Page 8: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/8.jpg)
The Scope of NuDE 2.0
Requirements Analysis ImplementationDesign
Safety analy
HW
Verilog
PLC Implementation
ysisD
e
C ProgramNuFTA* FBD FTA*
HW-CBMC Executable
Code for PLC
PLC
COTS SW
NuSCRSRS
FBD/LDProgram
evelopm
ent FBD Editor*NuSRS*
NuSCRtoFBD*
FBDtoC*
FPGA Implementation
COTS SW
Verilog
VHDLFBDtoVHDL*
FBDtoVerilog*FBDtoVerilog*NuSCRtoSMV*
Quickchecker
FBDTester
Verific
Netlist
FPGA
BLIF BLIF
VIS SMVSMV
cation
FPGA
COTS SW
EDIFtoBLIF-MV*
DevelopmentSafety Analysis
VISVIS SMVSMV
Verification
: Automatic Transformation
![Page 9: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/9.jpg)
An Overview of NuDE 2.0
• NuDE (Nuclear Development Environment) 2.0An formal methods based MBD for Digital I&C soft are– An formal methods-based MBD for Digital I&C software
• Target platforms: PLC & FPGA
– Starting from a formal SRS in NuSCRg
– Supporting various V&V methods• Model Checking• Equivalence Checking• Equivalence Checking
– Considering safety demonstration ofcommercial SW synthesis tools
– From an SRS in NuSCR or SDS in FBD,the PLC and FPGA implementationscan be generated simultaneously.can be generated simultaneously.
9
![Page 10: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/10.jpg)
The NuDE Components
+ NuSCR Editor+ NuSCRtoFBD+ FBDtoC+ FBD Tester+ FBD Editor+ FBDtoVerilog 2.0/2.1
DevelopmentPLC SW Development
FPGA SW Developmentg /+ FBDtoVHDL
+ Quick Checker + NuSCRtoSMV + SMV
p
C S ifi i+ NuSCRtoSMV + SMV+ FBDtoVerilog 1.0 + VIS & SMV + VIS Analyzer+ FBDtoVerilog 1.2 + HW-CBMC + EDIFtoBLIF-MV + VIS
Verification PLC SW Verification
FPGA SW Verification+ EDIFtoBLIF MV + VIS
+ NuSCR_FTA+ FBD_FTA
Safety Analysis
FPGA SW Verification
PLC SW Safety Analysis
+ Scenario Generator+ FBD Simulator+ FBD-Verilog Comparator Supplementary The scope of this paper!+ C Simulator+ FBD-C Comparator + FBD-Verilog-Netlist-JEDEC Comparator
Tools
![Page 11: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/11.jpg)
DEVELOPMENT PROCESS
![Page 12: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/12.jpg)
NuSCR Editor (NuSRS 2.0)
The NuSCR Formal Requirements SpecificationThe NuSCR Formal Requirements Specification+ Tailored SCR to model the nuclear I&C systems efficiently
The NuSCR Elements+ FOD (Function Overview Diagram)+ SDT (Structured Decision Table)+ SDT (Structured Decision Table)+ FSM (Finite State Machine)+ TTS (Timed Transition System)
![Page 13: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/13.jpg)
NuSCRtoFBD (Ver. 3.0)
The NuSCR Formal SRS
The NuSCRtoFBD Mechanical Transformation+ Transforms the NuSCR formal SRS+ into behaviorally-equivalent FBD programs+ into behaviorally equivalent FBD programs+ mechanically
+ Store into an XML file of PLCopen Std.
FBD Program
![Page 14: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/14.jpg)
FBDtoC (Ver. 1.0)
FBD Program
The FBDtoC Mechanical Transformation+ Transforms FBD programs+ into behaviorally-equivalent ANSI-C programs+ into behaviorally equivalent ANSI C programs+ mechanically
+ System/Component/Function units
C Program
![Page 15: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/15.jpg)
FBD Tester (of Prof. Gee in KAIST)FBD Test Execution
FBD Tester
An Unit Testing Tool for FBD Programs+ Data-Flow Testing
Coverage Viewg
+ Provides 3 Data-Flow based Coverage Criteria
+ Automatic generation of test cases+ Test execution (Model-based Test/Simulation)+ Calculation of testing coverageg g
+ Reads an FBD program in an XML file of PLCopen Std.
Test Case Generation
![Page 16: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/16.jpg)
FBD Editor
The FBD Program Editor+ Programming FBD programs of IEC 61131-1 Std.+ Reads and stores an XML file of PLCopen Std.
![Page 17: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/17.jpg)
FBDtoVerilog 2.0/2.1
FBD Program
The FBDtoVerilog Mechanical Transformation+ Transforms FBD programs+ into behaviorally-equivalent Verilog programs+ into behaviorally equivalent Verilog programs+ mechanically
+ Used for the FPGA Synthesis
Verilog ProgramMicrosemi - Libero
Netlist View
![Page 18: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/18.jpg)
FBDtoVHDL
FBD 프로그램
The FBDtoVHDL Mechanical Transformation+ Transforms FBD programs+ Transforms FBD programs+ into behaviorally-equivalent VHDL programs+ mechanically
+ Used for the FPGA Synthesisy
18
VHDL program
![Page 19: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/19.jpg)
VERIFICATION PROCESS
![Page 20: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/20.jpg)
Quick Checker
Static Analysis (Rule Checking) on the NuSCR formal SRS+ Checking for the C&C(Completeness & Consistency) requirements
The NuSCR Formal SRS
A result of Quick Checker
![Page 21: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/21.jpg)
NuSCRtoSMV + SMV
SMV Model Checker
The NuSCR Formal SRS
The NuSCRtoSMV Mechanical Transformation+ Transforms NuSCR a formal specification+ into a behaviorally-equivalent SMV program+ into a behaviorally equivalent SMV program+ mechanically
+ Requires to input verification properties
+ Executes the SMV model checker seamlessly
Formal Verification
Executes the SMV model checker seamlessly
SMV Input Program
![Page 22: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/22.jpg)
FBDtoVerilog 1.0 + VIS & SMV
Option Selection
SMV Model Checking
An FBD Program in the FBD Editor
The FBDtoVerilog Mechanical TransformationThe FBDtoVerilog Mechanical Transformation+ Transforms an FBD program+ into a behaviorally-equivalent Verilog program+ mechanically
+ Options for VIS and SMVVIS Analyzer
+ Options for VIS and SMV
+ SMV : Model Checking+ VIS : Equivalence Checking
VIS Equivalence Checking
![Page 23: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/23.jpg)
VIS Analyzer (Ver. 3.0)
A Model Checking Result(Table + Chart)
Flowchart
A Process of Executing VIS& th E ti R lt& the Execution Result
VIS Analyzer + To use/execute the VIS efficiently
+ The VIS has no GUI
Table
+ Display the verification results in various forms
![Page 24: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/24.jpg)
FBDtoVerilog + HW-CBMC
Equivalence Checking between FBD( Verilog) and ANSI-C+ for demonstrating safety of the FBDtoC translator
24
+ Provides the checking process+ Not fully automated
![Page 25: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/25.jpg)
EDIFtoBLIF-MV + VIS
The VerilogtoBLIF-MV Mechanical Transformation+ For the equivalence checking between Verilog and Netlist+ For the equivalence checking between Verilog and Netlist+ For the safety demonstration of FPGA Synthesis tools
+ Transforms a Netlist (in EDIF format) into a program of BLIF-MV format+ Then performs the VIS Equivalence Checking
EIDF File
BLIF-MV File
![Page 26: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/26.jpg)
SAFETY ANALYSIS PROCESS
![Page 27: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/27.jpg)
NuSCR FTA
+ We need to define the value of an output variable
The NuSCR Formal SRS
The NuSCRtoFT Mechanical Generation+ Generates a fault tree + from an NuSCR formal SRS+ from an NuSCR formal SRS+ for a specific (important) output variable
+ Calculates (minimal) cut-sets
FT (Fault Tree)
![Page 28: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/28.jpg)
FBD FTA
An FBD Program
The FBDtoFT Mechnical Generation+ Generates a fault tree + from an FBD program+ for a specific (important) output variable
+ Calculates (minimal) cut-sets
+ Uses the Temporal Fault Tree semantics
+ Under developing the minimal cut-set optimization
FT (Fault Tree)
![Page 29: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/29.jpg)
SUPPLEMENTARY TOOLS
![Page 30: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/30.jpg)
C Simulator Scenarios
Internal process
GCCC files .exe
file ExecuteTextfile
Scenarios form Scenario Generatorform Scenario Generator
Save
C SimulatorC files
from FBDtoC translator C Simulation Result (text)
C Simulator+ Compiles an inputted C program from FBDtoC translator+ with GCC compiler into executable file
from FBDtoC translator ( )
+ Simulates an executable file from GCC compiler+ with a inputted Scenarios from Scenario Generator
+ Saves a result of simulation into text file
30
![Page 31: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/31.jpg)
FBD-C Comparator
C Si l tC SimulatorIf both result are not equivalent ‘Counter example’with graphical chart
FBD Simulator
FBD C ComparatorFBD-C Comparator
BD-C Comparator+ Compares between simulation result from C simulator and FBD simulator
+ If both result are equivalent, it produce the ‘True’
31
If both result are equivalent, it produce the True+ Otherwise, it produce a counter example with graphical chart
![Page 32: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/32.jpg)
FBD Scenario Generator
i blSetting table
- Initial value- Rate-of-change- Maximum Cycle
Th b- The number of scenarios
Scenario Generator
Automatic Generation of Scenarios+ Recei ing al es of setting table from ser+ Receiving values of setting table from user+ Setting table reflect a domain feature
+ Generates Random Scenarios based on the table values set
32
![Page 33: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/33.jpg)
FBD Simulator
Type A Type B
Scenario Generator for massive scenarioScenario Generator with graphical chartg p
The Scenario Generator with graphical chart The Scenario Generator for massive scenario+ Recei es scenarios from Scenario Generator and FBD
+ Receives value from user in one cycle+ Simulates one by one cycle
+ Results in graphical chart It can verify function of an FBD
+ Receives scenarios from Scenario Generator and FBD+ Simulates massive scenarios
+ Results in a text file
33
![Page 34: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/34.jpg)
FBD-Verilog Comparator
ModelSimVerilog Simulator
If both result are not equivalent ‘Counter example’with graphical chart
FBD Simulator
FBD Verilog ComparatorFBD-Verilog Comparator
The FBD-Verilog Comparator+ Compare between simulation results from ModelSim and the FBD simulator
+ If both result are equivalent, it produce the ‘True’
34
If both result are equivalent, it produce the True+ Otherwise, it produces a counter example with graphical chart
![Page 35: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/35.jpg)
FBD-Verilog-Netlist-JEDEC Comparator
Future Work !!
FPGA
The Integrated Comparator for (FBD-Verilog-Netlist-JEDEC) synthesis process
+ Receives variable simulation results from FBD, Verilog, Netlist and JEDEC simulations+ It will provide user more efficient verification environment for developing FPGA software
35
![Page 36: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/36.jpg)
THE CASE STUDY IN THE PAPER
36
![Page 37: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/37.jpg)
The Case Study in the Paper
Goal : Validate the correctness of two transformations (FBDtoC and FBDtoVerilog 2.0)
37
![Page 38: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/38.jpg)
The FBDtoC Transformation
FBDs in the FBD Editor
by FBDtoC
38C programs generated
![Page 39: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/39.jpg)
The FBDtoVerilog Transformation
FBDs in the FBD Editor
by FBDtoVerilog 2.0
39Verilog programs generated
![Page 40: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/40.jpg)
Scenario Generator
40
![Page 41: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/41.jpg)
Verilog Simulation with ModelSim
in a e formin wave form
41in text
![Page 42: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/42.jpg)
FBD & Verilog Comparator
42 The FBDtoVerilog 2.0 transformation worked well!
![Page 43: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/43.jpg)
FBD & C Comparator
43 The FBDtoC transformation worked well!
![Page 44: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification](https://reader036.vdocuments.mx/reader036/viewer/2022062507/5fe41b93bc9d601bf6020447/html5/thumbnails/44.jpg)
In Summary
NuDE 2.0 can
Provide a systematic MBD-based software development framework for the PLC & FPGA implementations of digital I&Cs, simultaneously
C ith i t d d d l ti i di t ft f tCope with various standards and regulations in regarding to software safety
Reuse the PLC-based knowledge and experience accumulated for decades
Reduce the risk of the sudden change of SW development paradigm from PLC to FPGA, through starting from the existing FBD programs not HDLs
B d di f ft d i di it t id CCFBe used as a medium of software design diversity to avoid CCF
Consider also the safety demonstration of the commercial SW synthesis tools
44