Interesting. In safety components we are using Lockstep Microcontrollers which are doing something similar in a much smaller scale.
https://en.wikipedia.org/wiki/Lockstep_(computing)
Example: https://www.st.com/resource/en/datasheet/spc574k72e5.pdf
Lockstep processors were used here, as well.
> each FCM consists of a self-checking pair of processors.
Lockstep processors were used here, as well.
> each FCM consists of a self-checking pair of processors.