Ladder Logic Translation using Large Language Models in Industrial Automation

기술 요약: 산업 자동화 분야의 대규모 언어 모델을 이용한 래더 로직 번역

문제 정의
본 논문은 Rockwell Automation(Allen-Bradley)에서 Siemens로의 프로그래밍 가능 로직 컨트롤러(PLC) 코드 이관 시 발생하는 핵심적인 과제를 다룬다. 두 플랫폼 모두 명목상으로는 IEC 61131-3 표준을 준수하지만, 실제 상호 운용성은 서로 다른 프로그래밍 환경, 호환되지 않는 래더 로직 구조, 그리고 의미론적 표현력의 차이로 인해 저해된다. 기존의 마이그레이션 도구들은 정적 명령어 매핑에 의존하며, 이는 복잡한 중첩 분기 로직 및 벤더 고유의 구문(constructs)을 처리할 때 실패하는 경우가 많아 광범위한 수동 수정이 필요하다. 저자들은 대규모 언어 모델(LLM)을 기호적 표현(symbolic representations)과 결합함으로써, 의미론적 일관성을 유지하면서 이 번역을 자동화할 수 있는 경로를 제시한다.

방법론 및 아키텍처
제안된 솔루션은 Rockwell L5X XML 파일을 Siemens SimaticXML(TIA Portal Openness API를 통해 임포트 가능한 형식)로 번역하기 위해 정교하게 설계된 파이프라인이다. 아키텍처는 네 가지 주요 단계로 구성된다:

1. XML 추출 및 객체 지향 IR 구축: 프로세스는 L5X XML 구조를 복구하는 C# 파서를 통해 시작된다. 시스템은 원시 XML을 LLM에 직접 입력하는 대신, 결정론적인 객체 지향 중간 표현(Intermediate Representation, IR)을 구축한다. 이 IR은 PLC 실행 계층 구조를 $n$-튜플인 $IR = (T, P(\cdot), R(\cdot), L(\cdot))$로 포착하며, 이는 각각 태스크(Task), 프로그램 매핑, 루틴 매핑, 그리고 순차적인 렁(Rung) 시퀀스를 나타낸다.
2. 수학적 정형화: 번역은 시퀀스 변환(sequence transduction) 문제로 정형화된다. 저자들은 루틴의 의미론적 함수를 렁 레벨 변환의 비가환 합성($\delta_r = u_k \circ \dots \circ u_1$)으로 정의한다. 이 정형화는 명령어의 순서가 필수적임을 강조하며, LLM이 순서가 지정된 명령어 시퀀스로부터 유도된 변환을 학습할 수 있도록 문제를 프레임화한다.
3. LLM 가이드 번역: 핵심 엔진은 L5X 유래 표현과 SimaticXML 블록이 정렬된 쌍(aligned pairs)을 바탕으로 미세 조정된 LLM을 사용한다. 모델은 Siemens 특유의 블록 템플릿(OB, FB, FC)과 허용된 명령어 열거형을 포함하는 스키마 제약 프롬프팅(schema-constrained prompting)을 활용하여 구조적 유효성을 보장한다. 각 렁(rung)에 대해, 모델은 자연어 행동 설명과 대상 SimaticXML 표현을 모두 생성한다.
4. 일관성 검사 및 결정론적 후처리: L5X 소스에서 유도된 SimaticXML과 생성된 자연어 설명으로부터 유도된 SimaticXML 사이의 코사인 유사도(cosine similarity) 메트릭이 계산된다. 사전 정의된 임계값 미만인 출력은 거부된다. 마지막으로, 결정론적인 규칙 기반 후처리가 래더 네트워크 재구성 및 참조 정규화와 같은 일반적인 오류를 수정하여 최종 프로젝트를 조립한다.

주요 기여

• 정식 문제 정의: 본 논문은 래더 로직 번역을 계층적 중간 표현 위에서의 시퀀스 변환으로 수학적으로 정형화하였으며, PLC 명령어 합성의 비가환적 특성을 명시적으로 모델링하였다.
• 하이브리드 파이프라인 아키텍처: 결정론적 IR과 스키마 제약 프롬프팅을 사용하여 엔드 투 엔드 생성형 번역에만 의존하는 대신, LLM의 생성 부담을 줄이는 새로운 파이프라인을 도입하였다.
• 검증 메커니즘: 자연어 설명을 활용한 코사인 유사도 기반의 일관성 검사를 포함함으로써, 의미론적으로 일치하지 않는 번역을 필터링하는 새로운 검증 단계를 제공하였다.

결과
시스템은 원래 Rockwell L5X로 작성된 시프트 레지스터 제어 프로그램을 Siemens SimaticXML로 번역하여 평가되었다. 정량적 결과(표 1)는 다음과 같다:

• 계층 구조 보존: 태스크, 프로그램, 루틴 계층 구조 번역에서 100% 정확도를 기록했다.
• 명령어 번역: 산술 및 비교 연산(92.7%)과 컨트롤러/글로벌 태그 처리(91.2%)에서 높은 정확도를 보였다.
• 전반적인 성능: 시스템은 437개 요소에 대해 90.6%의 전체 번역 정확도를 달しまいました.
• 실패 모드: 성능이 저하된 주요 영역은 괄호형 분기 로직(85.4% 정확도)과 렁-투-네트워크(rung-to-network) 번역(90.6% 정확도)이었다. 저자들은 이러한 실패가 L5X 표현으로부터 복잡한 분기 구조를 암시적으로 재구성하는 과정의 어려움 때문이라고 분석했다.

의의 및 주장
본 논문은 구조화된 중간 표현과 제약된 생성을 통해 LLM이 산업 자동화 코드 번역에 효과적으로 적용될 수 있음을 제안된 아키텍처가 성공적으로 입증했다고 주장한다. 결과는 계층적 구조를 명시적으로 모델링하고 제약된 IR을 사용하는 것이 심볼 수준의 번역 일관성을 크게 향상시킨다는 점을 시사한다. 저자들은 본 시스템이 명령어 카테고리에 걸쳐 높은 의미론적 일관성을 달성했으나, 이는 모든 PLC 구문을 포괄하기보다는 아키텍처를 검증하기 위한 목적임을 명시하며 겸허하게 결론지었다. 또한, 모호성을 더욱 줄이기 위해 분기 토폴로지와 제어 흐름 의존성을 더 명시적으로 인코딩하도록 IR을 확장해야 한다는 향후 연구 과제를 제시하였다.