A Runtime Reconfiguration Design Targeting Avionics Systems