anintegratedsoftwaredevelopmentframeworkan integrated...

45
ISOFIC 2014 2014.08.24~08.28, Jeju An Integrated Software Development Framework An Integrated Software Development Framework for PLC & FPGA based Digital I&Cs Junbeom Yoo, Eui-Sub Kim, Dong Ah Lee KONKUK University and Jong Gyun Choi Jong-Gyun Choi Korea Atomic Energy Research Institute (KAERI) 1

Upload: others

Post on 02-Sep-2020

4 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification

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

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

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

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

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

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

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

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

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

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

DEVELOPMENT PROCESS

Page 12: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification

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

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

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

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

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

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

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

VERIFICATION PROCESS

Page 20: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification

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

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

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

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

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

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

SAFETY ANALYSIS PROCESS

Page 27: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification

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

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

SUPPLEMENTARY TOOLS

Page 30: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification

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

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

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

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

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

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

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

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

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

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

Scenario Generator

40

Page 41: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification

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

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

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

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

Page 45: AnIntegratedSoftwareDevelopmentFrameworkAn Integrated …dslab.konkuk.ac.kr/Members/Kim/Publications/ISOFIC 2014... · 2014. 9. 30. · Programming Automatic Translator rification

THANK YOU

http://dslab.konkuk.ac.krjbyoo@konkuk ac kr

45

[email protected]