Multi-core Processor Partitioned Task Scheduling Algorithm Design Based on ARINC653 | AMiner