Ladder Logic Translation using Large Language Models in Industrial Automation

Resumen Técnico: Traducción de Lógica de Escalera mediante Modelos de Lenguaje de Gran Escala en la Automatización Industrial

Planteamiento del Problema
El artículo aborda el desafío crítico de migrar código de Controlador Lógico Programable (PLC) entre proveedores, específicamente de Rockwell Automation (Allen-Bradley) a Siemens. Aunque ambas plataformas se adhieren nominalmente al estándar IEC 61131-3, la interoperabilidad práctica se ve obstaculizada por entornos de programación discordantes, constructos de lógica de escalera incompatibles y diferencias en la expresividad semántica. Las herramientas de migración existentes dependen de mapeos de instrucciones estáticos que a menudo fallan con la lógica de ramas anidadas complejas y constructos específicos del proveedor, lo que requiere una extensa corrección manual. Los autores postulan que los Modelos de Lenguaje de Gran Escala (LLM), combinados con representaciones simbólicas, ofrecen una vía para automatizar esta traducción preservando la consistencia semántica.

Metodología y Arquitectura
La solución propuesta es un pipeline rigurosamente diseñado para traducir archivos XML L5X de Rockwell a SimaticXML de Siemens (importable mediante la API TIA Portal Openness). La arquitectura consta de cuatro etapas primarias:

1. Extracción de XML y Construcción de la IR Orientada a Objetos: El proceso comienza con un parser en C# que recupera la estructura XML L5X. En lugar de alimentar el XML bruto directamente a un LLM, el sistema construye una Representación Intermedia (IR) determinista y orientada a objetos. Esta IR captura la jerarquía de ejecución del PLC como una n-tupla: $IR = (T, P(\cdot), R(\cdot), L(\cdot))$, que representa Tareas, mapeos de Programas, mapeos de Rutinas y secuencias de Rungs ordenadas.
2. Formalización Matemática: La traducción se formaliza como un problema de transducción de secuencias. Los autores definen la función semántica de una rutina como una composición no conmutativa de transformaciones a nivel de rung ($\delta_r = u_k \circ \dots \circ u_1$). Este formalismo enfatiza que el orden de las instrucciones es esencial, enmarcando el problema como uno donde un LLM puede aprender el mapeo de una secuencia de instrucciones ordenada a su transformación inducida.
3. Traducción Guiada por LLM: El motor central emplea un LLM ajustado (fine-tuned) con pares alineados de representaciones derivadas de L5X y bloques SimaticXML. El modelo utiliza un prompting restringido por esquemas, incorporando plantillas de bloques específicas de Siemens (OB, FB, FC) y enumeraciones de instrucciones permitidas para asegurar la validez estructural. Para cada rung, el modelo genera tanto una explicación de comportamiento en lenguaje natural como la representación SimaticXML objetivo.
4. Verificación de Consistencia y Post-procesamiento Determinista: Se computa una métrica de similitud de coseno entre el SimaticXML derivado del origen L5X y el SimaticXML derivado de la descripción en lenguaje natural generada. Los resultados que caen por debajo de un umbral predefinido son rechazados. Finalmente, un post-procesamiento determinista basado en reglas corrige fallos comunes, tales como la reconstrucción de redes de escalera y la normalización de referencias, antes de ensamblar el proyecto final.

Contribuciones Clave

• Definición Formal del Problema: El artículo proporciona una formulación matemática de la traducción de lógica de escalera como una transducción de secuencias sobre una representación intermedia jerárquica, modelando explícitamente la naturaleza no conmutativa de la composición de instrucciones de PLC.
• Arquitectura de Pipeline Híbrida: Introduce un novedoso pipeline que reduce la carga generativa sobre el LLM mediante el uso de una IR determinista y un prompting restringido por esquemas, en lugar de depender únicamente de una traducción generativa de extremo a extremo.
• Mecanismo de Validación: La inclusión de una verificación de consistencia utilizando explicaciones en lenguaje natural y similitud de coseno sirve como un novedoso paso de verificación para filtrar traducciones semánticamente inconsistentes.

Resultos
El sistema fue evaluado en un programa de control de registro de desplazamiento (shift-register) escrito originalmente en Rockwell L5X y traducido a Siemens SimaticXML. Los resultados cuantitativos (Tabla 1) indican:

• Preservación de la Jerarquía: 100% de precisión en la traducción de las jerarquías de Tarea, Programa y Rutina.
• Traducción de Instrucciones: Alta precisión en operaciones aritméticas y de comparación (92.7%) y en el manejo de tags globales y del controlador (91.2%).
• Desempeño General: El sistema logró una precisión de traducción general del 90.6% a través de 437 elementos.
• Modos de Fallo: Las principales áreas de rendimiento reducido fueron la lógica de rama entre corchetes (85.4% de precisión) y la traducción de rung-a-red (90.6% de precisión). Los autores atribuyen estos fallos a la dificultad de reconstruir implícitamente estructuras de rama complejas a partir de las representaciones L5X.

Significancia y Reivindicaciones
El artículo sostiene que la arquitectura propuesta demuestra con éxito que los LLM pueden aplicarse eficazmente a la traducción de código de automatización industrial cuando se guían por representaciones intermedias estructuradas y generación restringida. Los resultados sugieren que el modelado explícito de estructuras jerárquicas y el uso de IRs restringidas mejora significativamente la consistencia de la traducción a nivel de símbolo. Los autores concluyen modestamente que, si bien el sistema logra una alta consistencia semántica en las categorías de instrucciones, su intención es validar la arquitectura más que proporcionar una cobertura exhaustiva de todos los constructos de PLC. Identifican la necesidad de trabajos futuros para extender la IR de modo que codifique más explícitamente la topología de las ramas y las dependencias de flujo de control para reducir aún más la ambigüedad.