2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC)