EXECUTION MODEL
🔷 통합 인과 그래프 기반 실행 모델
FSM 상태 머신 + DAG 인과 그래프 = 벤더 중립 실행 엔진
FSM 상태 머신과 DAG 인과 그래프를 통한 벤더 중립 실행 모델
🔄 Work FSM (유한 상태 머신)
각 Work는 4가지 상태를 가진 FSM으로 동작
R
Ready
대기 상태
선행 Work의 완료를 대기하는 초기 상태
선행 Arrow 연결 Work가 F 상태
Flow가 Running 상태
G
Going
실행 중
내부 Call들을 순차적으로 실행하는 상태
R 상태에서 전이 조건 충족
Timeout 이내
F
Finish
완료
모든 Call이 성공적으로 완료된 상태
모든 Call이 완료
후행 Work에게 신호 전달
H
Halt
중단
에러 발생 또는 강제 중단된 상태
Exception 발생
Timeout 초과 / Stop 명령
상태 전이 (State Transitions)
R → G
Event: Start
선행 완료 & Flow Running
G → F
Event: Complete
모든 Call 완료
G → H
Event: Error
Exception | Timeout
F → R
Event: Reset
Flow Reset 명령
H → R
Event: Clear
Error Acknowledge
➡️ Arrow 기반 DAG (방향 비순환 그래프)
Work/Call 간 실행 순서를 방향성 그래프로 정의
방향성 (Directed)
원인 → 결과 단방향 연결
Work_Load → Work_Process
비순환 (Acyclic)
사이클 없음 = 데드락 방지
A→B→C (O), A→B→A (X)
병렬 분기
하나의 Work에서 여러 후행 Work로 분기
W1 → W2, W1 → W3 (동시 실행)
Join 동기화
여러 선행 Work 완료 후 실행
W2→W4, W3→W4 (모두 완료 후 W4)
용접 공정 예시 (Welding Process)
W1
Load
W2
Spot Weld
W3
Arc Weld
W4
Inspect
W5
Unload
W1 → W2 (Fork)
W1 → W3 (Fork)
W2 → W4 (Join)
W3 → W4 (Join)
W4 → W5 (Sequence)
⚡ Call 순차 실행 모델
Work 내 Call들의 실행 방식
Sequential
Call을 순서대로 하나씩 실행
Call_A → Call_B → Call_C
Parallel
여러 Call을 동시에 실행
Call_A || Call_B || Call_C
Conditional
조건에 따라 Call 선택 실행
if (cond) Call_A else Call_B
🌐 벤더 중립 실행 엔진
PLC 벤더에 독립적인 추상화 계층
LS Electric
XGK/XGB/XGI
Siemens
S7-1500/S7-1200
Rockwell
CompactLogix/ControlLogix
Mitsubishi
iQ-R/iQ-F
추상화 계층 (Abstraction Layers)
AAS Model
Sequence Control Submodel (IDTA 표준)
Execution Engine
DS Runtime (FSM + DAG)
Communication
OPC-UA / Modbus / Ethernet/IP
Physical PLC
LS / Siemens / Rockwell / Mitsubishi
📋 상세 기술 카드
R→G→F→H
FSM 상태 머신
4가지 상태를 가진 유한 상태 머신
Work의 실행 상태를 FSM으로 관리합니다. 각 Work는 Ready(대기)→Going(실행)→Finish(완료) 또는 Halt(중단) 상태를 가집니다.
Ready
Going
Finish
Halt
CAUSALITY
DAG 인과 그래프
방향 비순환 그래프로 실행 순서 정의
Arrow로 Work/Call 간 인과 관계를 정의합니다. DAG는 사이클이 없는 방향 그래프로 데드락 없이 병렬/순차 실행을 모델링합니다.
Directed
Acyclic
Fork
Join
EXECUTION
Call 실행 모델
Sequential/Parallel/Conditional
Work 내 Call들의 실행 방식을 정의합니다. Call은 Sequential(순차), Parallel(병렬), Conditional(조건부) 방식으로 실행될 수 있습니다.
순차 실행
병렬 실행
조건부 실행
4 VENDORS
벤더 중립성
LS/Siemens/Rockwell/Mitsubishi 통합
PLC 벤더에 독립적인 추상화 계층입니다. DS 실행 엔진은 벤더별 차이를 추상화하여 동일한 AAS 모델로 4종 PLC를 제어할 수 있습니다.
LS Electric
Siemens
Rockwell
Mitsubishi
🎬 프레젠테이션
