Resumo Técnico: Modelos de Fundação para a Engenharia de Software de Sistemas Ciber-Físicos: O Caminho a Seguir

Declaração do Problema

A integração de Modelos de Fundação (FMs), particularmente Modelos de Linguagem de Grande Escala (LLMs), na Engenharia de Software (SE) está em rápida expansão. No entanto, sua aplicação para a Engenharia de Software de Sistemas Ciber-Físicos (CPSs) permanece subexplorada e limitada. A pesquisa existente foca predominantemente em LLMs para tarefas gerais de SE ou no uso operacional de FMs dentro de CPSs (por exemplo, para controle de robôs), negligenciando o ciclo de vida de desenvolvimento de software de forma mais ampla.

Os CPSs apresentam desafios únicos que os distinguem dos sistemas de software convencionais. Eles são multidisciplinares, integrando hardware, software, comunicação e ambientes físicos. Eles processam dados multimodais diversos (imagens, áudio, fluxos de sensores, texto) e operam sob rigorosas restrições de tempo real, segurança e confiabilidade. As práticas atuais de SE para CPSs lutam com:

• Heterogeneidade de Dados: Lidar com entradas e saídas multimodais ao longo do ciclo de vida.
• Segurança e Certificação: A dificuldade de qualificar artefatos gerados por FMs para padrões de segurança crítica.
• Especificidade de Domínio: A falta de corpora amplos e abertos para linguagens proprietárias de CPS (por exemplo, código PLC, Simulink).
• Lacunas de Realidade (Reality Gaps): O descompasso entre o teste baseado em simulação e o comportamento físico no mundo real.
• Incerteza: Gerenciar incertezas decorrentes de condições ambientais, imprecisões de sensores e a natureza não determinística dos próprios FMs.

O artigo argumenta que confiar apenas em LLMs baseados em texto é insuficiente. Há uma necessidade crítica de explorar outros FMs, como Modelos de Linguagem-Visão (VLMs) e modelos multimodais, para apoiar todo o espectro das fases de engenharia de software de CPS.

Metodologia

Este artigo não segue um protocolo de revisão sistemática da literatura (SLR). Em vez disso, adota uma abordagem de roteiro de pesquisa visionário e prospectivo. A metodologia para o desenvolvimento do roteiro envolveu um processo iterativo:

1. Discussão Inicial e Brainstorming: Os autores utilizaram um híbrido do método Delphi e da Técnica de Grupo Nominal. Os autores identificaram independentemente desafios e oportunidades com base em sua expertise e revisão de literatura, seguidos por sessões de grupo estruturadas para alcançar consenso.
2. Validação Interna: Autores seniores realizaram a validação cruzada das seções para garantir clareza, consistência e correção.
3. Discussão Externa: O roteiro foi apresentado e discutido no Workshop SE2030 (co-localizado com o FSE 2025) usando "estruturas libertadoras" (ex: flash keynotes, fishbowl) para coletar feedback de diversos participantes externos.
4. Integração e Extensão: Os autores incorporaram o feedback do workshop, revisaram os argumentos e estenderam o conteúdo.
5. Validação Final: Uma revisão abrangente final foi conduzida antes da submissão.

O roteiro é estruturado em torno de seis fases principais de engenharia de software e seis dimensões transversais. Para cada desafio identificado, os autores definem oportunidades de pesquisa acionáveis, formuladas como questões de pesquisa fundamentais, acompanhadas de metodologias sugeridas, abordagens de linha de base e métricas de avaliação.

Principais Contribuições

1. Um Roteiro de Pesquisa Abrangente

O artigo apresenta o primeiro esforço sistemático para oferecer um guia visionário de alto nível para a integração de FMs em todo o ciclo de vida da engenharia de software de CPS. Ele vai além dos LLMs para incluir VLMs e modelos multimodais, abordando as modalidades de dados específicas inerentes aos CPSs.

2. Desafios e Oportunidades Específicos por Fase

O roteiro detalha desafios e oportunidades de pesquisa em seis fases:

• Engenharia de Requisitos: Foca em lidar com a ambiguidade em requisitos de linguagem natural, verificar artefatos multimodais (texto, diagramos, dados de sensores), identificar incertezas e estabelecer rastreabilidade. Propõe o uso de FMs multimodais para traduzir requisitos em modelos formais e vice-versa.
• Design de Sistema e Modelagem: Aborda a geração de modelos fundamentados na física, o tratamento de entradas heterogêneas e a criação de Gêmeos Digitais (DTs). Sugere o uso de FMs para assistentes de modelagem interativos, geração de modelos ponta a ponta a partir de linguagem natural e o ajuste fino de FMs para atuarem como DTs vivos.
• Desenvolvimento de Software: Destaca o desafio de gerar código para linguagens proprietárias e de domínio específico, além da necessidade de qualificação de código para segurança crítica. Propõe FMs leves e locais (on-premise) para implantação na borda (edge) e pipelines híbridos de revisão de código.
• Teste: Enfrenta a "lacuna de realidade" entre simulação e testes físicos. Sugere o uso de FMs para gerar dados de teste sintéticos de alta fidelidade, preencher a lacuna sim-to-real e atuar como oráculos de teste ou implementações substitutas para testes diferenciais.
• Depuração e Reparo: Foca na localização de falhas em complexas interações software-hardware-físico. Propõe localização de falhas temporal multimodal e o uso de FMs como oráculos de teste substitutos para reduzir o custo de testes de sistema caros.
• Evolução: Discute evolução proativa, mecanismos de autocorreção (self-healing) e a evolução automatizada de Gêmeos Digitais para refletir mudanças no CPS físico.

3. Dimensões Transversais

O artigo identifica e analisa desafios em seis dimensões que abrangem todas as fases:

• Técnica: Alucinações, sensibilidade ao prompt e restrições de inferência em tempo real.
• Segurança e Certificação: A falta de comportamentos verificáveis de FMs e a incompatibilidade com padrões de segurança existentes (ex: ISO 26262, DO-178C).
• Econômica e de Recursos: Altos custos de treinamento, ajuste fino e inferência, especialmente para dispositivos de borda.
• Humana, Organizacional e Social: Dependência excessiva de FMs, lacunas de comunicação em equipes multidisciplinares e vieses intrínsecos.
• Ética e Privacidade: Vazamento de dados, propriedade intelectual de artefatos gerados e vieses éticos.
• Ambiental: A pegada de carbono substancial do treinamento e inferência de FMs.

4. Estrutura de Pesquisa Acionável

Para cada desafio identificado, o artigo fornece uma estrutura para pesquisas futuras, incluindo:

• Questões de Pesquisa: Inquéritos específicos para guiar a investigação.
• Metodologias: Abordagens técnicas sugeridas (ex: ajuste fino, engenharia de prompt, abordagens neuro-simbólicas híbridas).
• Linhas de Base (Baselines): Métodos existentes para comparação (ex: engenharia manual, testes tradicionais baseados em busca).
• Métricas de Avaliação: Medidas quantitativas e qualitativas para avaliar custo-benefício e desempenho (ex: taxas de detecção de falhas, redução de esforço manual, fidelidade da simulação).

Resultados e Alegações

Como um roteiro de pesquisa, este artigo não apresenta resultados empíricos, dados experimentais ou estudos de caso validados. Seus "resultados" são a identificação e estruturação do cenário de pesquisa.

O artigo alega que:

• A adoção atual de FMs em SE de CPS é limitada e excessivamente focada em LLMs, ignorando o potencial de modelos multimodais, que são mais adequados para os diversos tipos de dados de CPSs.
• Existem lacunas de pesquisa significativas na integração de FMs em fluxos de trabalho de segurança crítica, particularmente em relação à certificação, restrições de tempo real e a "lacuna de realidade" nos testes.
• Uma abordagem estruturada baseada em fases é necessária para tornar a integração de FMs acessível a engenheiros de software com diversas especialidades.
• O roteiro proposto serve como um guia fundamental para direcionar futuros estudos empíricos e para preencher a lacuna entre as capacidades gerais de FMs e as rigorosas demandas da engenharia de software de CPS.

Significância

O artigo posiciona-se como um guia visionário em vez de uma solução definitiva. Sua significância reside em:

1. Ampliação do Escopo: Desloca o foco de apenas LLMs para uma classe mais ampla de Modelos de Fundação (incluindo VLMs e modelos multimodais) essenciais para CPSs.
2. Sistematização do Campo: Fornece o primeiro mapa abrangente de desafios e oportunidades através de todo o ciclo de vida de software de CPS, indo além de estudos isolados sobre tarefas específicas.
3. Acionabilidade: Ao fornecer questões de pesquisa, metodologias e métricas concretas, transforma conceitos de alto nível em agendas de pesquisa acionáveis para a comunidade.
4. Visão Holística: Aborda explicitamente barreiras não técnicas (fatores econômicos, éticos, ambientais e humanos) que são frequentemente negligenciadas em roteiros técnicos, mas que são críticas para a adoção real de FMs em domínios de segurança crítica.

Os autores enfatizam que o roteiro pretende ser refinado iterativamente conforme novos estudos e paradigmas de FM emerjam, servindo como um documento vivo para guiar o futuro da engenharia de software de CPS.