avionics do-178b emi electronics ibm aviation compliance windows microcontroller hardware do-254 linux aerospace embedded emc development unix open source aircraft software