3 ms·
The question in mind is, how do you ensure that the safety code does not have a bug which makes it impossible to disengage the system.
by ma2rten 7y ago
The question in mind is, how do you ensure that the safety code does not have a bug which makes it impossible to disengage the system.
- joshvm 7y agoIn real life, eg aviation, you would formally verify the code and the firmware that interacts with hardware. https://en.wikipedia.org/wiki/Formal_verification https://en.wikipedia.org/wiki/Formal_verification