Hello Riccardo,
I don't think there is a standard for this.
But AN4779 EMC Design Tips for Kinetis E Family, Cortex M0+, recommends the undefined branch instruction that you are considering 0xDExx.
Checking ARM®v7-M Architecture Reference Manual, I see that only Encoding T1 has the UNDEFINED variant of that instruction. I have tried that on S32K144, it seems to be working, it triggers CFSR[UNDEFINSTR].

If you don't use Supervisor Call, I think you can use __asm__("svc #0x00") as well.


And trigger SW reset from that exception instead of the fault exception.
Regards,
Daniel