Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems

Authors:
Jung-Eun Kim;Man-Ki Yoon;Sungjin Im;Richard Bradford;Lui Sha
Affiliations:
University of Illinois at Urbana-Champaign;University of Illinois at Urbana-Champaign;Duke University;Rockwell Collins;University of Illinois at Urbana-Champaign
Venue:
Proceedings of the Conference on Design, Automation and Test in Europe
Year:
2013

Citing 9
Cited 0

Periodic assignment and graph colouring

Discrete Applied Mathematics
Distance-Constrained Scheduling and Its Applications to Real-Time Systems

IEEE Transactions on Computers
Resource Scheduling in Dependable Integrated Modular Avionics

DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance

Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
Scheduling within temporal partitions: response-time analysis and server design

Proceedings of the 4th ACM international conference on Embedded software
Hierarchical Fixed Priority Pre-Emptive Scheduling

RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
A Best-Response Algorithm for Multiprocessor Periodic Scheduling

ECRTS '11 Proceedings of the 2011 23rd Euromicro Conference on Real-Time Systems
Design Optimization of Mixed-Criticality Real-Time Applications on Cost-Constrained Partitioned Architectures

RTSS '11 Proceedings of the 2011 IEEE 32nd Real-Time Systems Symposium
Strictly periodic scheduling in IMA-based architectures

Real-Time Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Integrated Modular Avionics (IMA) architecture has been widely adopted by the avionics industry due to its strong temporal and spatial isolation capability for safety-critical real-time systems. The fundamental challenge to integrating an existing set of single-core IMA partitions into a multi-core system is to ensure that the isolation of the partitions will be maintained without incurring huge redevelopment and recertification costs. To address this challenge, we developed an optimized partition scheduling algorithm which considers exclusive regions to achieve the synchronization between partitions across cores. We show that the problem of finding the optimal partition schedule is NP--complete and present a Constraint Programming formulation. In addition, we relax this problem to find the minimum number of cores needed to schedule a given set of partitions and propose an approximation algorithm which is guaranteed to find a feasible schedule of partitions if there exists a feasible schedule of exclusive regions.