Systems are getting too complex for traditional methods of validation and certification to operate. Safety and correctness of intelligent machines should be validated by even more intelligent machines.

Another big problem is that there is very little competition. In reality there are only two players. Smaller manufacturers get absorbed by big ones. As a result grounding a single model causes economic catastrophe in many airlines - leading to significant ticket price increase!