Looks like https://rusefi.com/ lists the features.

Re: STM32 but for real-time audio in Rust and RTOS / RTIC; from yesterday: https://news.ycombinator.com/item?id=48910657

The other day re: controlling the rear wheels of a truck like motorcycle trailer tied into the CAN bus: https://news.ycombinator.com/item?id=46283617 :

> A modular truck bed could have Through-the-road TTR AWD (given a better VCU) and e.g. [radial axial flux] hub motors or an axle motor.

oxirs has CANbus support: oxirs-canbus. oxirs-tauri is a desktop UI with CAN bus support.

There are Open IP cores for RISC-V for many things.

Is this already modeled with TLA+?

Model this with TLA+, critically compare the spec with the implementation, revise, and run it?