I can think of a few potential advantages:
-
Portability: It means you can change your hardware target and you only have to worry about re-certifying this, instead of an entire compiler.
-
Testing: You can probably run your WASM code fully deterministically in a deterministic simulation much easier than native code. Also when developing you don't need the actual hardware.
-
Isolation / compartmentalisation. If I were them I would be strongly considering using the WASM component model (in future).
It would be good if they put their actual motivation in the readme though.