What kind tech stack/development processes do you think are needed for something like this?
At a very naive level, for example: typed language vs dynamic; formal verification of the code or not (or to what extent); what kind of QA? (can't even imagine how to test this "in production" given the amount of edge cases like the ones you describe; hw and sw redundancy; to name a few.
I have zero experience with airplane software but I find it fascinating considering how safe flying is.
At a very naive level, for example: typed language vs dynamic; formal verification of the code or not (or to what extent); what kind of QA? (can't even imagine how to test this "in production" given the amount of edge cases like the ones you describe; hw and sw redundancy; to name a few.
I have zero experience with airplane software but I find it fascinating considering how safe flying is.