Skip to content

How Do You Prove a Rust Rewrite Matches the C Firmware It Replaces?

One industrial gateway written in C and again in Rust on the same STM32F407 and W5500, reconciled by the same 93-test e2e suite.

Grace_Koo

Published September 03, 2026

Original author: kabirzOriginal source (new tab)

How Do You Prove a Rust Rewrite Matches the C Firmware It Replaces?

Project description

io-edge-hub-rust β€” The Same Device Built Twice, Reconciled by 93 Tests #Rust #embassy #W5500 #MACRAW #STM32F407 #MCUboot #ModbusTCP #littlefs πŸ“š Context: kabirz/io-edge-hub-rust β€” a Rust/embassy rewrite of an industrial IO gateway firmware. Hardware is an STM32F407VET6 with a W5500 on SPI2 and a W25Q128 NOR on SPI1. Last pushed 2026-09-01, MIT declared in Cargo. βœ… Verification: Read from the repository at main. The figures are its own, measured 2026-08-23, and were not reproduced here. 01 β€” This is the third implementation of one device The repository is not a new product. It is an existing…

Keep reading with a free account

Guests can read 15 projects per visit. Log in or create a free account to read the full description, open the documents and join the comments.

Similar projects you might like

μ—λ„ˆμ§€ 계츑 μž₯λΉ„μ˜ 데이터λ₯Ό λ„€νŠΈμ›Œν¬μ— μ—°κ²°ν•˜λŠ” DIN λ ˆμΌν˜• κ²Œμ΄νŠΈμ›¨μ΄μž…λ‹ˆλ‹€. μ œν’ˆκ³Ό μ—°κ²°λœ 곡개 개발 μžλ£ŒλŠ” 쑰립된 DIN 레일 ν•˜λ“œμ›¨μ–΄μ™€ W5500 Lite Ethernet λͺ¨λ“ˆμ„ μ‚¬μš©ν•˜λŠ” ꡬ성을 μ„€λͺ…ν•©λ‹ˆλ‹€.

AmpX β€” AmpX Energy Gateway

matthew
  • Views 21

  • Comments 0