So, it's better to have unhinged pilots crashing planes than software that's designed and tested to be fail safe, but could conceivably fail?
I personally wrote a lot of code for a mission critical application for the company of my employ over 2+ years. I alone wrote the code changes, surveyed and tested each release and there were many. IIRC, I never had an embarrassing or serious failure that I couldn't remedy easily and quickly. In fact, I don't remember failures at all. You don't release code that can fail, was my mantra. You test it to your satisfaction. When hundreds of lives and many millions of dollars and a major corporation's reputation are at stake, you are that much more careful and testing methodologies take center stage.
One. My issue is with the suggestion to use “AI”. Which is basically black box software in what amounts to a catastrophic hazard control. The level of software verification you’d need to do to verify it’s not going to make things worse would be extraordinary. This a generic problem with all non-deterministic software controlling hazards.
Two. We haven’t seen 787’s falling out of the sky due to whatever this is. Whatever comes out of this failure investigation, the fix should not make things worse.
Fuel cutoffs activated during takeoff is bad except when it isn’t. Someone with pilot experience could confirm but based on their central location, easily accessible by either pilot I’m sure they are part of fire response. Do you want the “AI” saying “I’m
Sorry Dave I can’t do that” when the pilot is trying to cutoff fuel to an engine that’s on fire?
Three I’m not saying a software interlock is a necessarily a bad idea if the software is deterministic and can be verified.
It’s great you write good code. In my experience almost no company does. I’ve seen several dumb software bugs that slipped through testing and could have had catastrophic consequences.
That’s why I want to see a robust software validation and verification program and an Independent Verification and a Validation software program to make sure any code changes are bullet proof.