A Simantic, startup do lote F26 da Y Combinator, lançou uma plataforma de simulação que permite a engenheiros e agentes de IA testar e validar firmware sem hardware físico. A empresa anunciou o lançamento no Hacker News, onde seus fundadores, Ahnaf e Seungmin, descreveram o produto como uma camada de simulação para o desenvolvimento de firmware.

Os fundadores afirmam que trabalharam como engenheiros de firmware em empresas como Neuralink e Tesla, e em projetos como o Cybertruck e o Roadster, quando ainda eram protótipos iniciais. Eles disseram ter observado a IA automatizar grande parte do trabalho de engenharia ao seu redor, mas os testes de firmware ficaram para trás. No software, um agente de IA pode executar e testar código em segundos. O firmware é diferente. Um agente pode escrever firmware em segundos, escreveram os fundadores, mas os engenheiros ainda precisavam gravar uma placa física e executar testes com ferramentas caras e pouco práticas, criadas há mais de uma década.

Como funciona o simulador de firmware da Simantic?

A resposta da Simantic é um conjunto de três produtos. O primeiro são placas de desenvolvimento virtuais que os usuários podem programar e executar com uma única chamada de API, sem sair do terminal. O segundo é um revisor de código de IA para firmware que usa o simulador da empresa como mecanismo de verificação, de modo que pode tomar decisões com base nos resultados dos testes, e não em suposições. O terceiro é um pipeline de integração e entrega contínuas que verifica o firmware em relação a uma versão simulada do microcontrolador a cada commit.

Segundo a empresa, seus usuários trabalham com projetos bare-metal e de sistemas operacionais em tempo real para controladores de voo, veículos elétricos, robótica e satélites. Os fundadores defendem que a simulação é mais importante em sistemas críticos para a segurança, como aviônica e automotivo, nos quais uma única alteração no firmware pode colocar vidas em risco, e onde as máquinas costumam custar de centenas de milhares a milhões de dólares.

A empresa citou um cliente, uma startup espacial em estágio inicial que constrói satélites. A Simantic afirmou que ajudou a equipe a testar firmware em hardware que ainda não possuía. Os fundadores observaram que os módulos de desenvolvimento para esses satélites custam mais de US$ 100 mil e disseram que a Simantic ajudou a empresa a realizar os testes por uma fração desse custo e tempo. A companhia não forneceu mais detalhes sobre o cliente ou os resultados.

Por que a Simantic criou seu próprio simulador de firmware em vez de usar o Renode?

O caminho técnico da startup não foi simples. A Simantic primeiro considerou desenvolver sobre frameworks de emulação de código aberto, incluindo Renode e QEMU, ambos já amplamente utilizados na indústria de firmware. A equipe construiu um produto mínimo viável que funcionava como um wrapper em torno do Renode, mas os fundadores disseram que logo encontraram limitações. Afirmaram que dependiam do ritmo de desenvolvimento do Renode e que suas próprias contribuições não eram incorporadas com rapidez suficiente para uma startup que precisava avançar depressa. Também disseram que o Renode é escrito em .NET, que consideraram mais lento do que gostariam. Os fundadores observaram que o Renode foi lançado em 2017, quando o código ainda era escrito em grande parte manualmente. A equipe também argumentou que as ferramentas de código aberto traziam recursos que nunca eram usados, o que tornava o código mais difícil de modificar.

A precisão foi o maior problema. Os fundadores disseram que os usuários, especialmente aqueles que desenvolvem sistemas em que o tempo é crítico, não consideravam o Renode preciso o bastante para validar seu firmware. Por isso, a Simantic desenvolveu do zero o seu próprio mecanismo de simulação, escrito em Rust. A empresa afirma que seu mecanismo prioriza a precisão em vez da abrangência. Os fundadores argumentaram que frameworks de código aberto tendem a privilegiar extensibilidade e experiência do desenvolvedor, o que muitas vezes significa distribuir o esforço entre muitos modelos em vez de aprimorar um conjunto menor.

Para verificar seus modelos com chips reais, a Simantic mantém bancadas próprias de validação de hardware funcionando ininterruptamente. Os fundadores descreveram a configuração como placas de desenvolvimento conectadas a um Saleae Logic MSO e a um barramento SWD, controladas por um PC com Linux. Uma instância do Claude roda continuamente na bancada, procurando diferenças entre a simulação e o hardware real. Segundo a empresa, quaisquer diferenças encontradas são corrigidas o mais rápido possível.

Quais microcontroladores o simulador da Simantic suporta?

O simulador atualmente oferece suporte a alguns modelos das séries STM32F0, STM32F4 e STM32H7, além do ESP32-S3, ESP32-C3 e RP2040. A empresa afirmou que pretende lançar novos modelos toda semana e aprimorar os existentes. O simulador hospedado na nuvem já está disponível. As licenças do plano para desenvolvedores também incluem um binário nativo que permite executar firmware nas próprias máquinas dos usuários sem limites. O bot revisor de firmware com IA pode ser adicionado a repositórios do GitHub pelo painel da empresa. Dúvidas podem ser enviadas para founders@simantic.dev.

Dieser Artikel wurde mit Unterstützung von KI verfasst.
News Factory APP - agentische News für besseres SEO & AEO.