QuantumX: an experience for the consolidation of Quantum Computing and Quantum Software Engineering as an emerging discipline

Este artigo sintetiza a primeira edição do track QuantumX, realizada no JISBD 2025, que consolidou a comunidade de pesquisa espanhola e ibero-americana ao explorar a interseção entre Computação Quântica e Engenharia de Software, definindo desafios futuros e posicionando a Espanha como um contribuinte emergente no ecossistema global de software quântico.

O essencial

Imagine que a Computação Quântica é como um novo tipo de motor de carro extremamente poderoso, mas que só os engenheiros mais especializados (físicos e matemáticos) sabem dirigir. Eles conseguem fazê-lo andar, mas o carro é instável, faz barulhos estranhos e, se você tentar consertá-lo sem um manual, ele pode explodir.

Agora, imagine que a Engenharia de Software é a arte de criar manuais de instrução, regras de trânsito, sistemas de freio e ferramentas de manutenção para que qualquer pessoa possa usar esse carro com segurança e eficiência.

O artigo que você enviou descreve um grande encontro chamado QuantumX, que aconteceu na Espanha em 2025. Foi como uma "Feira de Inovação" onde esses dois mundos se encontraram pela primeira vez de forma organizada.

Aqui está o resumo do que aconteceu, explicado de forma simples:

1. O Grande Encontro (O Contexto)

Antes desse evento, os especialistas em "motores quânticos" e os especialistas em "regras de trânsito" (engenharia de software) trabalhavam em mundos separados. O QuantumX foi o primeiro grande encontro nacional na Espanha para juntar esses dois grupos.

O objetivo era claro: Como transformamos essa tecnologia mágica e complexa em algo que funcione no mundo real, seja confiável e fácil de usar?

2. O Que Eles Discutiram? (As Ideias Principais)

Os pesquisadores apresentaram várias ideias criativas para resolver os problemas de "construir" software quântico. Eles usaram analogias muito interessantes:

• O "Gerente de Trânsito" (Orquestração):
  Como existem vários computadores quânticos diferentes (como diferentes marcas de carros), é difícil saber qual usar. Um grupo apresentou um "Gerente Inteligente" (chamado Qrchestrator) que decide automaticamente qual computador usar, qual rota seguir e como evitar que o carro quebre no meio do caminho, economizando dinheiro e tempo.

• A "Caixa de Ferramentas" (Abstração):
  Programar quântico hoje é como construir um carro peça por peça, parafuso por parafuso. É muito difícil! Eles propuseram criar "peças pré-fabricadas" (como Quantum Integers ou Locus). Em vez de desenhar cada circuito do zero, os engenheiros poderiam usar blocos de montar prontos, tornando a programação mais fácil e menos propensa a erros.

• O "Teste de Colisão" (Qualidade e Testes):
  Como saber se o software quântico funciona antes de usá-lo? Eles criaram ferramentas para fazer "testes de colisão" (mutação de circuitos). É como bater em um carro de brinquedo para ver se ele aguenta o impacto, mas feito em escala massiva e com muito menos custo, garantindo que o software final seja seguro.

• O "Tradutor" (Redes Neurais e IA):
  Alguns grupos mostraram como misturar a inteligência artificial clássica com a quântica. É como ter um assistente que usa a velocidade do cérebro humano (clássico) e a intuição mágica do computador quântico para diagnosticar doenças ou analisar textos médicos com mais precisão.

3. Quem Estava Lá? (A Comunidade)

Não foi apenas uma palestra. Foi uma reunião de 11 grupos de pesquisa de universidades espanholas (como Extremadura, Málaga, Sevilha, Oviedo, etc.).

• Eles não estavam apenas teoricando; eles já estavam construindo protótipos, criando ferramentas e testando em computadores reais.
• Eles também apresentaram duas grandes redes de amizade: a RIPAISC (que conecta a Espanha com a América Latina e Portugal) e a QSpain (que organiza a Espanha para competir no cenário global).

4. A Conclusão: O Que Isso Significa para o Futuro?

O evento mostrou que a Espanha está se tornando um grande jogador no mundo da computação quântica.

• Antes: A tecnologia era apenas teoria e laboratórios secretos.
• Agora: Estamos entrando na fase da "Engenharia". Estamos criando as regras, os manuais e as ferramentas para que essa tecnologia seja usada por empresas e hospitais no futuro.

Em resumo:
O QuantumX foi o momento em que a Espanha disse: "Não basta apenas ter o motor potente (hardware quântico); precisamos aprender a dirigir, manter e construir estradas seguras para ele (software de engenharia)."

O evento foi um sucesso porque uniu a criatividade da ciência com a prática da engenharia, preparando o terreno para que, em breve, a computação quântica deixe de ser um mistério de laboratório e se torne uma ferramenta do dia a dia.

Resumo técnico

Aqui está um resumo técnico detalhado do artigo "QuantumX: an experience for the consolidation of Quantum Computing and Quantum Software Engineering as an emerging discipline", apresentado em português.

Título do Artigo

QuantumX: Uma experiência para a consolidação da Computação Quântica e da Engenharia de Software Quântico como uma disciplina emergente.

1. Problema e Contexto

O artigo aborda o estado de transição da computação quântica, que avança da teoria para a prática, mas enfrenta barreiras significativas para a aplicação industrial. O problema central identificado é a falta de práticas de engenharia de software robustas, padronizadas e escaláveis para o desenvolvimento de soluções quânticas.

• Desafios Específicos:
  • Necessidade de garantir qualidade, manutenibilidade e confiabilidade do software quântico em hardware restrito (era NISQ - Noisy Intermediate-Scale Quantum).
  • Dificuldade em integrar componentes quânticos e clássicos em arquiteturas híbridas.
  • Falta de abstrações de alto nível, ferramentas de teste, métricas de qualidade e modelos de governança adequados ao paradigma quântico.
  • Fragmentação da comunidade de pesquisa, exigindo maior colaboração e padronização.

2. Metodologia

O artigo não apresenta um único experimento, mas sim uma síntese estruturada e crítica das contribuições apresentadas na primeira edição da trilha "QuantumX", realizada no âmbito da conferência JISBD 2025 (XXIX Jornadas de Engenharia de Software e Bases de Dados) na Espanha.

• Abordagem: Revisão e análise de trabalhos apresentados por grupos de pesquisa espanhóis e ibero-americanos.
• Escopo: A metodologia engloba a apresentação de:
  • Ferramentas e protótipos desenvolvidos.
  • Modelos de qualidade e métricas para sistemas híbridos.
  • Estratégias de orquestração e planejamento de circuitos.
  • Redes de colaboração científica (RIPAISC e QSpain).
• Participantes: A análise cobre grupos de universidades e centros de pesquisa (como Quercus, Alarcos, SCORE Lab, ITIS, PAPC, D4K, eVIDA, COGRADE, DSIE, QHPC e ROBÓTICA), focando na convergência entre Engenharia de Software, IA, arquitetura de computadores e física quântica.

3. Principais Contribuições Técnicas

O artigo destaca diversas contribuições técnicas específicas apresentadas pelos grupos participantes, que podem ser categorizadas em quatro pilares:

A. Engenharia de Serviços e Orquestração

• QCRAFT Scheduler (Quercus): Políticas de agendamento para QPUs (Unidades de Processamento Quântico) em nuvem que agrupam e combinam circuitos, reduzindo custos e tempos de espera em ~84%.
• Qrchestrator (SCORE Lab): Um orquestrador quântico consciente de erros e carga para múltiplos provedores NISQ, selecionando dinamicamente o backend mais adequado para maximizar a fidelidade e eficiência.
• ATHENA-HARMONIA: Integração de componentes quânticos e clássicos sob o paradigma de "continuum computacional" (nuvem-borda-quântico) com níveis de abstração equivalentes ao software clássico.

B. Garantia de Qualidade, Testes e Métricas

• Engenharia de Serviços Quânticos (Quercus/Alarcos): Proposta de um processo de engenharia que estende OpenAPI, utiliza análise estática (SonarQube) e geração automática de código para garantir atributos de qualidade como analisabilidade.
• Teste de Mutantes Quânticos: Ferramentas que executam testes de mutação em hardware real através de planejamento de tarefas, demonstrando viabilidade de testes em larga escala na era NISQ com reduções de custo de até 94%.
• Modelo de Analisabilidade (Alarcos): Validação empírica de um modelo de qualidade (baseado em ISO/IEC 25010) para sistemas híbridos, combinando métricas clássicas com métricas específicas de circuitos (profundidade, complexidade).

C. Abstrações de Programação e Linguagens

• Quantum Integer (SCORE/Quercus): Introdução de um novo tipo de dado ("inteiro quântico") e oráculos composáveis para elevar o nível de abstração, promovendo reutilização e modularidade.
• Locus (ITIS/Quercus): Uma abstração leve para programação baseada em circuitos, análoga à transição de Assembly para linguagens de alto nível, facilitando a composição e a manutenção de software quântico.
• Otimização de Oráculos (DSIE): Construção de oráculos de Grover otimizados para problemas de coloração de grafos usando contadores, reduzindo a profundidade do circuito e o número de portas de controle.

D. Aprendizado de Máquina Quântico (QML) e Aplicações

• LazyQML (CSIC/QHPC): Um pacote Python leve para benchmarking e comparação de modelos de QML, reduzindo a fricção na reprodutibilidade e comparação de arquiteturas.
• Redes Neurais Quânticas (PAPC/COGRADE): Uso de redes de tensores (TNs) para simulação eficiente de redes neurais quânticas e emulação de matrizes de densidade para séries temporais, permitindo treinamento sem hardware quântico físico.
• Aplicações em Saúde (eVIDA/D4K): Modelos híbridos (CNN clássica + BiLSTM quântica) para classificação de textos clínicos (câncer de pulmão) e análise de variabilidade em circuitos variacionais para melhorar a treinabilidade.

4. Resultados e Descobertas

• Viabilidade de Engenharia: Os trabalhos demonstram que é possível aplicar princípios de engenharia de software (testes, orquestração, métricas) ao domínio quântico, mesmo com as limitações atuais do hardware.
• Eficiência de Custos: Técnicas de agendamento e combinação de tarefas (como no QCRAFT e testes de mutantes) provaram ser altamente eficazes na redução de custos de execução em nuvem quântica.
• Abstração Necessária: Há um consenso claro de que a programação quântica precisa evoluir de portas e circuitos de baixo nível para abstrações de alto nível (tipos de dados, oráculos, bibliotecas) para ser escalável.
• Simulação vs. Hardware: Em muitos casos (como em QML), a emulação eficiente em HPC (High-Performance Computing) é crucial para o desenvolvimento e validação antes da migração para hardware quântico real.
• Colaboração: A existência de redes como RIPAISC (Rede Ibero-americana) e QSpain é fundamental para estruturar a comunidade, compartilhar recursos e alinhar a pesquisa espanhola com as iniciativas europeias (Quantum Flagship).

5. Significado e Impacto

O artigo "QuantumX" é significativo por vários motivos:

1. Consolidação Disciplinar: Marca um passo decisivo na consolidação da Engenharia de Software Quântico como uma disciplina distinta e madura, separando-se da física teórica pura para focar em práticas de desenvolvimento, qualidade e governança.
2. Posicionamento da Espanha: Estabelece a Espanha como um contribuinte relevante e emergente no ecossistema global de software quântico, destacando a riqueza e complementaridade dos grupos de pesquisa nacionais.
3. Ponte entre Teoria e Prática: O evento e o artigo servem como uma ponte, mostrando como a teoria quântica está sendo traduzida em ferramentas, protótipos e metodologias aplicáveis.
4. Direção Futura: Identifica desafios abertos (como a necessidade de padrões de relatórios, conjuntos de dados compartilhados e melhor rigor na pesquisa de visão computacional quântica) e define uma agenda para o futuro, incentivando a criação de comunidades sustentáveis e colaborações internacionais contínuas.

Em resumo, o artigo documenta não apenas um evento acadêmico, mas o nascimento de uma comunidade de prática focada em tornar a computação quântica uma tecnologia engenharia, confiável e industrialmente viável.