Ladder Logic Translation using Large Language Models in Industrial Automation

Resumo Técnico: Tradução de Lógica de Escada utilizando Grandes Modelos de Linguagem na Automação Industrial

Definição do Problema
O artigo aborda o desafio crítico de migrar código de Controlador Lógico Programável (PLC) entre fabricantes, especificamente da Rockwell Automation (Allen-Bradley) para a Siemens. Embora ambas as plataformas sigam nominalmente o padrão IEC 61131-3, a interoperabilidade prática é dificultada por ambientes de programação distintos, construtos de lógica de escada incompatíveis e diferenças na expressividade semântica. As ferramentas de migração existentes dependem de mapeamentos estáticos de instruções que frequentemente falham com lógicas de ramificação aninhadas complexas e construtos específicos de fabricantes, necessitando de extensa correção manual. Os autores postulam que Grandes Modelos de Linguagem (LLMs), combinados com representações simbólicas, oferecem um caminho para automatizar essa tradução preservando a consistência semântica.

Metodologia e Arquitetura
A solução proposta é um pipeline rigorosamente projetado para traduzir arquivos XML L5X da Rockwell em SimaticXML da Siemens (importável via API TIA Portal Openness). A arquitetura consiste em quatro estágios primários:

1. Extração de XML e Construção de IR Orientada a Objetos: O processo começa com um parser em C# que recupera a estrutura XML L5X. Em vez de alimentar o XML bruto diretamente a um LLM, o sistema constrói uma Representação Intermediária (IR) determinística e orientada a objetos. Esta IR captura a hierarquia de execução do PLC como um n-tupla: $IR = (T, P(\cdot), R(\cdot), L(\cdot))$, representando Tarefas (Tasks), mapeamentos de Programas, mapeamentos de Rotinas e sequências ordenadas de Rungs.
2. Formalização Matemática: A tradução é formalizada como um problema de transdução de sequência. Os autores definem a função semântica de uma rotina como uma composição não comutativa de transformações ao nível de rung ($\delta_r = u_k \circ \dots \circ u_1$). Esta formalização enfatiza que a ordem das instruções é essencial, enquadrando o problema como um onde o LLM pode aprender o mapeamento de uma sequência de instruções ordenada para a transformação induzida.
3. Tradução Guiada por LLM: O motor central utiliza um LLM ajustado (fine-tuned) em pares alinhados de representações derivadas de L5X e blocos SimaticXML. O modelo utiliza prompting com restrição de esquema, incorporando templates de blocos específicos da Siemens (OB, FB, FC) e enumerações de instruções permitidas para garantir validade estrutural. Para cada rung, o modelo gera tanto uma explicação comportamental em linguagem natural quanto a representação SimaticXML de destino.
4. Verificação de Consistência e Pós-processamento Determinístico: Uma métrica de similaridade de cosseno é computada entre o SimaticXML derivado do L5X de origem e o SimaticXML derivado da descrição em linguagem natural. Saídas que caem abaixo de um limiar predefinido são rejeitadas. Finalmente, um pós-processamento determinístico baseado em regras corrige falhas comuns, como a reconstrução de redes de escada e normalização de referências, antes de montar o projeto final.

Principais Contribuições

• Definição Formal do Problema: O artigo fornece uma formulação matemática da tradução de lógica de escada como uma transdução de sequência sobre uma representação intermediária hierárquica, modelando explicitamente a natureza não comutativa da composição de instruções de PLC.
• Arquitetura de Pipeline Híbrida: Introduz um pipeline inovador que reduz a carga generativa sobre o LLM ao utilizar uma IR determinística e prompting com restrição de esquema, em vez de depender puramente de uma tradução generativa de ponta a ponta.
• Mecanismo de Validação: A inclusão de uma verificação de consistência usando explicações em linguagem natural e similaridade de cosseno serve como um passo de verificação inovador para filtrar traduções semanticamente inconsistentes.

Resultos
O sistema foi avaliado em um programa de controle de registrador de deslocamento (shift-register) originalmente escrito em Rockwell L5X e traduzido para Siemens SimaticXML. Os resultados quantitativos (Tabela 1) indicam:

• Preservação de Hierarquia: 100% de precisão na tradução de hierarquias de Tarefa, Programa e Rotina.
• Tradução de Instruções: Alta precisão em operações aritméticas e de comparação (92,7%) e no tratamento de tags globais/controladores (91,2%).
• Desempenho Geral: O sistema alcançou uma precisão de tradução geral de 90,6% em 437 elementos.
• Modos de Falha: As principais áreas de desempenho reduzido foram a lógica de ramificação entre colchetes (85,4% de correção) e a tradução de rung-para-rede (90,6% de correção). Os autores atribuem essas falhas à dificuldade de reconstruir implicitamente estruturas de ramificação complexas a partir das representações L5X.

Significância e Alegações
O artigo afirma que a arquitetura proposta demonstra com sucesso que LLMs podem ser aplicados efetivamente à tradução de código de automação industrial quando guiados por representações intermediárias estruturadas e geração restrita. Os resultados sugerem que o uso de modelos hierárquicos explícitos e IRs restritas melhora significativamente a consistência da tradução ao nível de símbolo. Os autores concluem modestamente que, embora o sistema alcance alta consistência semântica em categorias de instruções, ele tem o intuito de validar a arquitetura, em vez de fornecer cobertura abrangente de todos os construtos de PLC. Eles identificam a necessidade de trabalhos futuros para estender a IR de modo a codificar mais explicitamente a topologia de ramificação e as dependências de fluxo de controle para reduzir ainda mais a ambiguidade.