Design and delay analysis of time-triggered AFDX network