2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC)