When I was thinking about the BA crash I wondered if the cause might have been related to a software glitch and if so, if this might have been a glitch introduced with a recent software update. In the context of the crash I think that it does not make much sense to discuss such wild theories without any substantial supporting evidence.
Nevertheless I'd be very interested to know how post certification software updates are handled in the aviation industry. Do they have to be certified by the certification authorities? Maybe not all changes require a certification process? What are the rules?