These days I'd say "sounds like wasm" but I guess 2015 was a bit before that took off.

There have been enough bytecodes since UNCOL in 1958 to chose from, and embedded is full of them, nothing special about WASM.

Sounds like p-code.