avionics do-178b aerospace time-triggered compliance aircraft emi industrial zeitgesteuert sicherheitskritisch embedded automotive aviation embedded systems emc software ibm auto do-254 linux