Gregory's Server
@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.
@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.