Gregory's Server@crepererum @djh You might cry, but using Bluetooth for safety critical operation is pretty common these days. Well, and considering the poor quality of other safety critical components in such setups, the Bluetooth connection might often be the most reliable part of these systems. We have failed.
|
2 comments
 @ids1024 @crepererum @djh In the end you work with hard dead lines for safety criticial operation: "If no packet, no hearthbeat received within X milliseconds, assume the physical emergency stop button has been pushed". Exactly same code path. If you don't get the physical emergency stop button right, you are doomed anyway. |
@taschenorakel
@crepererum @djh
I'm still not even convinced Bluetooth reliability is good enough yet to be a viable replacement for headphone jacks.
But I certainly wouldn't want my life to depend on Bluetooth. And ideally the entire software stack required would be formally verified. Regardless, the safety critical part should be minimal and well tested.
Your life depending on an Android app not crashing or being killed sounds a bit like Therac-25. I guess not much progress has been made.
@taschenorakel
@crepererum @djh
I'm still not even convinced Bluetooth reliability is good enough yet to be a viable replacement for headphone jacks.
But I certainly wouldn't want my life to depend on Bluetooth. And ideally the entire software stack required would be formally verified. Regardless, the safety critical part should be minimal and well tested.