Analysis of automatic generation algorithm for airborne multi-partition operating system scheduling table

With the rapid development of computer technology, airborne operating systems face increasingly complex real-time task challenges. Multi-core multi-partition operating systems have emerged as one of the effective solutions to address these issues. In response to the problem of difficulty in manually configuring scheduling tables for airborne multi-partition operating systems, this paper comprehensively considers factors such as process periodicity, worst-case execution time, deadlines, priorities, partition attributes, and mutual interruption relationships between processes. By integrating optimization theory, the paper conducts a quantitative analysis and modeling of the schedulability of multi-partition operating systems. A two-level optimization scheduling model is established to allocate optimal start times and runtime lengths for each partition, thereby achieving automated scheduling table generation. To solve this model, the structural characteristics of optimization problems are leveraged for decoupling analysis, and efficient iterative solution algorithms are designed by combining the Lagrange multiplier method and alternating direction method. Testing was conducted on the self-generating and optimizing scheduling algorithm. Results demonstrated that the algorithm could intelligently generate optimal schedules for each section, determine schedulability, provide modification suggestions for unschedulable issues, and effectively reduce operational risks during actual flight operations.