Reliability in avionics software