2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC)