• 0 Posts
  • 106 Comments
Joined 1 year ago
cake
Cake day: June 17th, 2023

help-circle













  • You say it’s far from reality, but I’m speaking from experience. I was responsible for maritime life safety systems. When those systems were implemented, they were tested and qualified for use. It didn’t matter how many updates came out, if they weren’t qualified, they didn’t get deployed. If I had deployed an update that hadn’t been qualified, it would have put lives at risk, such as by causing issues with ship detection or man overboard alerts not going off.

    If you want to get really into it, like the systems that run aircraft and nuclear reactors, look up formal verification.