FMI 3 Simulation Runtime in Rust | Dweve FMI

O Dweve FMI aborda a deriva da plataforma em simulação. Perfis de ponto fixo e verificações de backend tornam as diferenças visíveis antes de chegarem a um caso de segurança.

Biblioteca de aritmética de ponto fixo que garante a determinismo do FMI.

Motor de recuperação binária determinística.

Infraestrutura de prova criptográfica para raciocínio de IA.

Execute o oscilador amortecido em dois alvos suportados e compare os resultados. As verificações de referência expõem qualquer divergência antes de entrar num caso de segurança.

Dentro de uma fronteira que você escolhe

Duas perguntas decidem a aquisição: onde é executado e quem controla as evidências. O Dweve FMI é executado no hardware que você já possui, no local ou numa região europeia, enquanto o modelo e o registo de validação permanecem dentro de uma fronteira que você escolhe.

O modelo e as evidências permanecem seus

Execute o exemplo, compare os resultados

Uma alegação de segurança precisa de mais do que uma promessa. Reveja o contrato de resultados, a matriz de alvos suportados e o método de validação baseado em MPFR; depois execute o mesmo exemplo em duas máquinas e compare a saída antes de decidir onde o FMI pertence.

Nenhum fornecedor único de quem depender

Sem tempo perdido a reconciliar resultados

A razão para se importar é operacional, não técnica. Ao comparar a mesma simulação sob um contrato declarado em cada máquina, vê onde um alvo difere antes de fechar o caso de segurança. As equipas deixam de ter de reconciliar diferenças silenciosamente. O trabalho é executado no hardware que já possui, e uma mudança para novo equipamento tem um caminho de validação explícito.

Um fornecedor, um roteiro, um preço que não define.

Um novo chip ou região reinicia a validação em todo o portfólio.

As equipas discutem sobre qual máquina produziu o resultado correto.

Cada plataforma precisa do seu próprio caso de segurança porque os números podem diferir.

O argumento para mudar é mais fácil de ver apresentado como uma comparação. De um lado, simulação que varia por plataforma: um caso de segurança revalidado para cada máquina, equipas a reconciliar números que já deviam coincidir, e uma revalidação sempre que o hardware muda. Do outro, resultados comparados sob um contrato declarado, para que as evidências mostrem onde uma implementação difere. A diferença é operacional, não técnica.

Remova o runtime; o modelo e as evidências permanecem

Estação de trabalho · cluster · FPGA · edge

Um modelo de simulação deve tornar visível qualquer diferença dependente do hardware. O Dweve FMI define um contrato de resultados entre os alvos suportados, verifica cada backend contra um oráculo MPFR e permite que um registo de validação viaje com o modelo.

Não, os engenheiros executam-no em segundo plano

É justo perguntar se algo assim é para si tratar. Não é. Os engenheiros executam-no em segundo plano, onde comparam simulações de segurança entre máquinas e tornam as diferenças visíveis.

Verificações com suporte MPFR detetam divergências antes da utilização

Não precisa de compreender como funciona para desfrutar do que faz. Pense nisto como água limpa ou boas estradas. Nunca vê o trabalho, mas o seu dia é melhor porque alguém o fez bem. Aqui estão quatro razões simples pelas quais é importante.

Uma secretária e um gabinete de segurança

Aqui está o essencial, mostrado de forma simples. O mesmo teste de segurança é executado em dois computadores diferentes. Em computadores comuns, as duas respostas podem ser ligeiramente diferentes. Com isto, a comparação torna qualquer diferença visível. Inverta o interruptor e veja o que muda. Essa comparação é o ponto central.

Robôs que trabalham em segurança ao lado de pessoas.

Energia estável, testada antes de ser instalada.

Verificados cuidadosamente antes de chegarem a um paciente.

Testados milhares de vezes num computador primeiro.

Nunca vai usar isto, mas usa as coisas que isto ajuda a proteger todos os dias. Um carro, uma bomba médica, a energia da sua casa, as máquinas de uma fábrica. Cada uma é testada num computador antes de ser construída, e esta é a parte que torna visíveis as diferenças entre plataformas-alvo. Toque numa imagem para ver porque é que isso é importante para cada uma.

Torna as diferenças visíveis em todo o lado

Um ajudante cuidadoso para testes de segurança

Nunca vai usar isto diretamente. Mas é uma coisa pequena e cuidadosa que ajuda a manter carros, aviões e máquinas médicas seguros. Aqui está toda a ideia, um passo simples de cada vez, com um exemplo do dia a dia para cada um.

Um engenheiro de simulação cria e executa uma FMU na sua estação de trabalho. A mesma FMU pode ser comparada num cluster para varrimentos de parâmetros. Também pode ser usada num abrigo FPGA para cenários de hardware no circuito onde o orçamento de latência é apertado. O contrato de repetição mantém-se nos três.

Estação de trabalho, cluster, abrigo FPGA

Escrito em Rust sobre a base aritmética Numerus, o FMI utiliza caminhos de ponto fixo com verificações de referência MPFR e suporta Model Exchange, Co-Simulation e Scheduled Execution em cinco backends.

O FMI tradicional pode variar por plataforma porque assenta em vírgula flutuante. O Dweve FMI utiliza um caminho de aritmética de ponto fixo com verificações de referência MPFR. O modelo de simulação e o caso de segurança permanecem explícitos, enquanto o mesmo arquivo FMU pode ser comparado entre workstation, cluster e FPGA. A escolha de implementação é operacional, não numérica.

Massa e energia químicas, co-simulação com PLC.

Cinemática, trajetória, fusão de sensores.

Conversores de potência, integração de renováveis.

Dinâmica de bombas e comportamento de dispositivos.

Validação de leis de controlo, piloto no circuito.

O Dweve FMI serve domínios onde os resultados da simulação informam o design e as decisões. Automóvel, aeroespacial, dispositivos médicos, energia, robótica, controlo industrial e gémeos digitais exigem evidências de que os resultados da simulação são reproduzíveis, rastreáveis e controláveis por plataforma alvo.

Aritmética de ponto fixo corretamente arredondada

Qualquer ferramenta compatível com FMI 3.0

O FMI da Dweve integra-se com cadeias de ferramentas existentes através de importação e exportação de FMU, orquestração de múltiplos modelos e ponte de gémeos digitais. Importe FMUs de qualquer ferramenta compatível com FMI 3.0 com conversão automática de vírgula flutuante para ponto fixo. Exporte FMUs para ferramentas a jusante que exijam vírgula flutuante.

Tolerância excedida interrompe a execução com um erro tipado e a equação nomeada.

Uma execução gravada reproduz-se a partir do seu registo de eventos através da ponte Twin.

Mesma FMU em CPU, GPU, FPGA e edge. Vetores de saída comparados.

Operações de ponto fixo verificadas contra uma referência MPFR.

As verificações numéricas usam o piso aritmético Numerus e uma referência MPFR. A comparação multi-backend executa a mesma FMU em cada alvo e regista qualquer diferença de saída. A repetição determinística reconstrói uma execução gravada a partir do seu registo de eventos, e os modos de falha são ruidosos em vez de silenciosos.

O mesmo kernel determinístico executa em CPU de estação de trabalho, GPU, hardware FPGA, um dispositivo edge embutido e nós distribuídos. Os resultados podem ser comparados sob o contrato declarado, pelo que a escolha de implementação é operacional, não numérica.

Verdade fundamental MPFR, usada apenas para verificação.

6 dígitos decimais, cenários bancários e de faturação.

32 bits fracionários, perfil predefinido, precisão total.

16 bits fracionários, intervalos estreitos, eficiente em termos de bateria.

Q31.32 cobre a maioria das necessidades de simulação. Q16.16 adapta-se a alvos embutidos e edge. Dec64_6 cobre contabilidade decimal específica do domínio. Todos os três assentam na base aritmética Numerus, onde cada operação é arredondada corretamente e verificada contra a biblioteca de referência matemática MPFR.

Um novo chip ou cloud significa revalidar todo o portefólio.

Uma função trigonométrica numa biblioteca pode diferir ligeiramente de outra.

A otimização do compilador altera a ordem dos floats; os resultados mudam.

Estação de trabalho, CI, certificação: compare as plataformas-alvo e registe as diferenças no caso de segurança.

A Interface Funcional Mock-up é o padrão da indústria para troca de modelos e co-simulação. É utilizada em domínios críticos de segurança onde os resultados da simulação informam decisões de design, casos de segurança e submissões regulamentares. As implementações tradicionais de FMI dependem frequentemente da aritmética de vírgula flutuante IEEE 754, pelo que as diferenças entre plataformas precisam de ser verificadas.

O Dweve FMI implementa o padrão FMI para Troca de Modelos, Co-Simulação e Execução Agendada, construído em Rust com aritmética determinística de ponto fixo. Os cálculos de valores reais seguem o caminho de ponto fixo configurado. Os resultados podem ser comparados em alvos CPU, GPU, FPGA, edge e distribuídos, com MPFR utilizado como referência matemática quando aplicável. Três perfis de ponto fixo cobrem alvos de engenharia, desde dispositivos embarcados a varreduras de parâmetros em GPU, sem alterar o modelo de simulação.