Roulis,
Have a good look at DAL. It's not a case of rewrite the code, upload, off you go. Safety critical software has to demonstrate an appropriate level of verification and assurance in manufacture and testing before it goes anywhere near an aircraft.
Something went wrong, speculation over such a complex failure will not solve anything.cwe will get the investigation findings in due course.