risk management embedded linux microcontroller windows iec 61508 software do178b hardware electronics management unix do-178b development risk analysis iec61508 safety consulting iec 61511 open source avionics