Multi-core processor partitioned task scheduling algorithm design based on ARINC653. - Ming Li; Suyang Wei; Wentao Sun; He Zhang (EBIMCS, 2021)