Bancada de regressão de segurança para autopiloto e computador de missão
Prepare um ensaio por etapas, compare configurações e leve uma necessidade verificável à coordenação. Fontes, lacunas e critérios de aceite ficam visíveis.
Proposta de ensaio · configuração e participantes a confirmar · ensaios do piloto não executados
Uma decisão para quem integra sistemas
Para donos de operações industriais brasileiras, integradores de plataforma, fornecedores de módulos de Taiwan e equipes de pesquisa: definir como uma mudança no computador de missão será testada antes de chegar ao voo. O comprador precisa comparar versões, identificar falhas e receber um pacote reproduzível de evidências.
| Aplicável | Não aplicável |
|---|---|
| Regressão de software, interfaces e comportamento degradado em ambiente autorizado. | Certificação aeronáutica, aprovação de fornecedores, detecção/neutralização de drones ou liberação de voo. |
| Comparar baseline e configuração candidata com expectativas assinadas. | Promessa de autonomia, segurança absoluta, alcance operacional ou desempenho de IA sem ensaio. |
Entregáveis e entradas do comprador
| Entregável proposto | Entrada necessária |
|---|---|
| Manifesto de versões + configuração | Modelo/revisão de aeronave, FC, companion, OS/BSP, GCS, payload, rede e restrições de origem; desconhecidos explícitos. |
| Tabela de interfaces e máquina de estados | Missão, estados permitidos, limites, política de perda de enlace e autoridade de comando. |
| Casos e classificação de falhas | Incidentes/regressões conhecidos, critérios de aceitação e ambiente autorizado. |
| Evidência e relatório | Logs originais, hashes, métricas, condições, desvios e assinatura de reviewer; resultados por estágio. |
Cinco camadas; responsabilidades distintas
| Camada | Papel em A | Base candidata | Lacuna / limite |
|---|---|---|---|
| Drone Detection | Não aplicável ao mínimo A | Nenhum sensor de detecção selecionado | A não procura nem neutraliza aeronaves; C é outro cenário. |
| Mission Computer | Objeto do ensaio | D137SM candidato; AAEON BOXER-8653AI-JP511N-A1-1010 (bancada) | BSP, recursos, supervisor e fronteira de comando a confirmar. |
| C2 | Interface local no ensaio | MAVLink; identidades e mensagens definidas por build | Sem conexão a ATM/UTM ou C2 operacional externo. |
| RF | Não usado na fase offline/SITL | Cabo/loopback isolado proposto | Rádio, potência, alcance e homologação desconhecidos; necessários antes de teste sem fio. |
| Edge AI | Carga isolada e opcional | Replay determinístico primeiro; modelo real não escolhido | IA produz observações/propostas; não recebe acesso direto a atuadores. |
Fronteira proposta [I]
Entrada de missão → validação → supervisor de estados → interface permitida → piloto automático.
IA entrega observações e propostas ao supervisor. O FC conserva o controle de voo. Logs do FC e do supervisor são comparados por um observador separado.
Estados propostos: DISARMED → READY → ACTIVE → HOLD/ABORT → COMPLETE. Toda transição precisa de condição, autorização e confirmação observada. O reinício volta a um estado que exige revisão humana; não rearma.
Do campo ao aceite
| Campo / plataforma | Integração empresarial | P&D / teste | Aceite |
|---|---|---|---|
| UAVI ou SkyDrones: missão, configuração e acesso, se houver acordo. | Equipe a designar: contrato de interfaces, módulo e registro de mudanças. | SENAI CIMATEC como candidato: escopo e recursos dependem de confirmação. | Comprador + reviewer: reproduzir, confrontar evidência e assinar limites. |
Filiação à aliança e participação neste projeto são campos separados. Veja o registro por organização; nenhum preço, prazo, API ou recurso está comprometido.
Conferir cada organização e sua evidênciaDesenvolver, comprar ou integrar
| Escolha proposta [I] | Motivo | Condição |
|---|---|---|
| Desenvolver contrato de teste, normalização de eventos e regras de aceite. | São específicos da missão e precisam permanecer auditáveis pelo comprador. | Responsável, repositório, licença e direitos definidos. |
| Adquirir FC/companion após congelar SKU e revisão. | Reaproveitar hardware documentado pode reduzir trabalho de base. | BOM, compatibilidade, termal, alimentação e fornecimento qualificados. |
| Integrar com plataforma e laboratório candidatos. | Conhecimento de operação e infraestrutura de medição podem complementar a equipe. | Acordo escrito, disponibilidade e escopo verificáveis. Não assumir cooperação. |
Mínimo verificável
Uma missão sintética, um build de piloto automático por vez, um replay de carga de IA e uma matriz de falhas. O primeiro lote compara baseline e alteração; não exige LLM nem nuvem. PX4 SITL e ArduPilot SITL são trilhas separadas. SparkNavi Blue só entra na trilha de hardware após confirmação de ArduPilot/revisão; não se infere suporte PX4.
| Fase | Entrada | Saída | Estado |
|---|---|---|---|
| Mesa / offline | Requisito, proprietário dos dados, manifesto e expectativas revisados; sem conexão com aeronave. | Casos aplicáveis observados e hashes conferidos por R4; pendências registradas. | Especificação entregue; ensaio do piloto não executado. Verificador tem self-test separado. |
| SITL | G0 aceito; PC/OS/container, build PX4 OU ArduPilot, mundo e parâmetros congelados; licença e recursos disponíveis. | Logs do simulador + observador e configuração íntegros; nenhuma divergência inexplicada; revisão R1/R4. | Não executado: ambiente de simulador e build não provisionados. |
| HIL / bancada sem hélices | G1 aceito; hardware exato, esquema de energia, compatibilidade HIL, instrumentação e plano de parada aprovados. | Medições dentro dos limites aprovados; sem armação inesperada, superaquecimento ou perda de evidência. | Não executado: placas, energia, firmware e instrumentos indisponíveis. |
| Campo legal e controlado | G2 aceito; operador/piloto, aeronave, local, avaliação de risco e permissões aplicáveis documentados. | Relatório identifica voo, configuração, condições, incidentes, limites e assinatura de aceite. | Não executado: local, pessoal, aeronave e permissões não confirmados. |
O que ainda impede compromisso de entrega
- AAEON: as semanas não especificavam SKU. Propomos BOXER-8653AI-JP511N-A1-1010 para bancada terrestre; disponibilidade, revisão e BSP entregues são desconhecidos.
- D137SM: confirmar SoM, BSP, OS, consumo de pico, refrigeração e licença; não usar download JetPack como prova Modalix.
- Plataformas: modelo, firmware, interface e autorização de modificação não recebidos.
- Equipe de quatro papéis, equipamentos, laboratório, orçamento e cronograma ainda não confirmados.
- API, licença, condições comerciais e vontade de cooperação de cada candidato: desconhecidas.
Custo e duração: desconhecidos. Uma estimativa depende de escopo, hardware, competências e agenda; esta proposta não reserva capacidade.
Da hipótese à evidência
P1: documento primário; P2: produto/declaração do fabricante; S: síntese; I: julgamento de engenharia; U: desconhecido. Os resultados das semanas não são repetidos como capacidade operacional. Métodos inspiram o teste; cada configuração terá de produzir sua própria evidência.
Conferir os 12 registros de pesquisa e o que permanece pendenteC2 e espaço aéreo: pesquisa posterior
Speedbird, Saipher e BR-UTM são entradas de pesquisa. Acesso a API, integração formal e acordo não foram comprovados. Capacidade ATM não é tratada como API UTM disponível para UAV.
Speedbird: capacidade e limites · Saipher: escopo publicado · BR-UTM: acesso e evidência pendentesDefina primeiro o que precisa ser verificado.
Envie equipamentos existentes, local, restrições e entregáveis. A coordenação recebe a solicitação; candidatos não são notificados automaticamente. Campos desconhecidos podem ficar “Ainda não definido”.
Abrir RFQ A em BE PASSIVE ↗