IDK man. Aviation wasn't made safe because some people came up with a grand theory of how to make it safe and then that theory was implemented. It was made safe incrementally over time because problems were identified and resolved as they showed up. When those solutions caused other problems work was done to reconcile them. Heuristics, defaults and best practices for any given bit of minutia developed as these solutions matured. And eventually we got to the point where we are today.
So I'm kind of inherently skeptical of this sort of theory based approach to designing things.
Hacker News