Max Crashes Strengthen Resolve of Boeing to Automate Flight
21–30 of 50 posts
Re: Max Crashes Strengthen Resolve of Boeing to Automate Flight
#22Re: Max Crashes Strengthen Resolve of Boeing to Automate Flight
#23My knee jerk reaction to this is "more automation after an automation failure? Huh?". But whenever I think someone is being that stupid, it's always worth a second look, and it turns out the reality is more complex. This article[1] linked off of the OP goes into detail about their crashes. It describes a design philosophy that pushes robustness fully onto the pilot, expecting him to flawlessly stitch together indepen…
Re: Max Crashes Strengthen Resolve of Boeing to Automate Flight
#24There are tons of math majors produced every year. Would be a viable business model to offer factory-style program-correctness-proving-as-a-service. Current proof services are mostly niche static analysis for stuff like Ethereum contracts and occasionally a wannabe legal-tech company. I think aerospace could use more proofs. You can't use Ada for everything, eventually you will have to code in C/C++.
Algorithmic correctness won't necessarily help you if the root problem is bad sensor data.
Re: Max Crashes Strengthen Resolve of Boeing to Automate Flight
#25"Clearly, we need to remove the human pilots and double down on the automation."
[This is where the people using shallow analysis go nuts. But wait.]
Because the flawed system was only installed for the purpose of avoiding the expense of retraining human pilots to a new model of aircraft! In a fully-integrated automated piloting system, there is no separate trim-compensating subsystem. The trim parameters are plugged directly into the aircraft model, and the automatic pilot has access to all the sensors in the craft to make its trim decisions, instead of just the angle-of-attack sensor.
Instead of re-certifying hundreds of pilots, you just validate one new aircraft data model.
Re: Max Crashes Strengthen Resolve of Boeing to Automate Flight
#26Earlier quoted context omitted.
The auto system failed because they a) were band-aiding a flawed mechanical design b) under-designed the compensating software (only provided a single AOA sensor by default) to obscure the fact the plane was significantly different to avoid training costs. These are management problems, not technical problems. More automation would be subject to the same issues.
Crap I meant to make the above comment as a top level comment, not a response.. Somehow it came through twice. Anyway, in response to your comment: perhaps I'm conflating these, but a commitment to robustness seems like it's included in the newer philosophy? It just extends that notion beyond the sensor-level to the system level. Sure, you can frame an inadequate emphasis on robustness as a "management problem" inste…
The only thing that would be an appropriate counterweight is if the engineering staff refuses to put a defective design into production. A robust engineering process can make violations and exceptions clear, but if the staff still does what management says, it won't help.
Re: Max Crashes Strengthen Resolve of Boeing to Automate Flight
#27For the life of me, I have absolutely no idea how you can look at what has happened with the Max and believe that more entrenched automation is the answer.
I would love it when the planes are as easily operated as an elevator. It's probably more realistic than self-driving cars.
Re: Max Crashes Strengthen Resolve of Boeing to Automate Flight
#28Their automated systems caused two crashes and their solution is to automate more systems? Have they literally gone insane?
This article[1] linked off of the OP goes into detail about their crashes. It describes a design philosophy that pushes robustness fully onto the pilot, expecting him to flawlessly stitch together independent automated systems and unreasonably rapidly interpret and react to their error modes. In the case described in the article, separate automated systems had contrasting views of the world, and shouted their contrad…
Re: Max Crashes Strengthen Resolve of Boeing to Automate Flight
#29There are tons of math majors produced every year. Would be a viable business model to offer factory-style program-correctness-proving-as-a-service. Current proof services are mostly niche static analysis for stuff like Ethereum contracts and occasionally a wannabe legal-tech company. I think aerospace could use more proofs. You can't use Ada for everything, eventually you will have to code in C/C++.
Re: Max Crashes Strengthen Resolve of Boeing to Automate Flight
#30For the life of me, I have absolutely no idea how you can look at what has happened with the Max and believe that more entrenched automation is the answer.
It’s the disconnect between pilots mental models of what’s going on and what’s actually going on that caused the Max‘s and several other related crashes on different aircraft. As such software designed based on how the system actually works may actually be both simpler and safer than increasingly abstracted fly by wire systems trying to safely intuit what the pilots want.
An example from 10 years ago: https://www.fastcompany.com/1669720/how-lousy-cockpit-design...