Roulishollandais,
So far, I don't think there is an indication within the perspective available on this forum that there is any software problem/bug.
If you see such an indication, please be specific.
In general, software is written according to system architecture and system block, or component functions, calculations and parameters specifications.
If any mechanism failed in its expected behavior - like the Stall Warning - there is no indication so far that it was because of a software problem or bug.
It is known it was because of NCDs (non calculated data) - due to icing and extreme AoA, which have inhibited certain sensors.
Originally Posted by
roulishollandais
All the posts show that we only look at the failures of the aeronautical skills, without interest at software reality.
To be sure of the way of flying of such an aircraft with software beside the Captain and the FOs, it is MANDATORY to use computer science rules.
The safety of any software is very complex to establish, but possible.
.....
The Board is in favour of the opposite view, that software should be assumed to be faulty until applying the currently accepted best practice methods can demonstrate that it is correct".