Avionics Partition Analysis and Design under FP-EDF Scheduling Strategy | IEEE Conference Publication | IEEE Xplore