University of Illinois Urbana-Champaign

Multi-IMA Partition Scheduling with Synchronized Solo-Partitions for Multi-Core Avionics Systems

Kim, Jung-Eun; Yoon, Man-Ki; Im, Sungjin; Bradford, Richard; Sha, Lui

Content Files
Multi-IMAPartitionSchedulingWithSynchronizedSolo-PartitionsForMulti-CoreAvionicsSystems.pdf

Permalink

https://hdl.handle.net/2142/35280

Description

Title
Multi-IMA Partition Scheduling with Synchronized Solo-Partitions for Multi-Core Avionics Systems
Author(s)
  • Kim, Jung-Eun
  • Yoon, Man-Ki
  • Im, Sungjin
  • Bradford, Richard
  • Sha, Lui
Issue Date
2012-05
Keyword(s)
Real-time scheduling, IMA partition scheduling, exclusive region
Date of Ingest
2012-12-02T23:05:23Z
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. Although multi-core systems are receiving wide attention from the avionics industry, the fundamental challenge to integrating an existing set of singlecore 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. In connection with meeting this challenge, several issues arise such as speed differences between single-core systems and multi-core systems and synchronization for exclusive I/O transactions. To address these challenges, we have developed an optimized Multi-IMA partition scheduling algorithm which considers exclusive regions to achieve the synchronization between partitions across cores. We show that the problem of finding the optimal Multi-IMA 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.
Type of Resource
text
Genre of Resource
Technical Report
Permalink
http://hdl.handle.net/2142/35280

Owning Collections

Research and Tech Reports - Computer Science PRIMARY