IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

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

Show simple item record

Bookmark or cite this item: http://hdl.handle.net/2142/35280

Files in this item

File Description Format
PDF Multi-IMAPartit ... ti-CoreAvionicsSystems.pdf (162KB) PDF
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
Subject(s): Real-time scheduling, IMA partition scheduling, exclusive region
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.
Issue Date: 2012-05
Genre: Technical Report
Type: Text
URI: http://hdl.handle.net/2142/35280
Publication Status: unpublished
Date Available in IDEALS: 2012-12-02
 

This item appears in the following Collection(s)

Show simple item record

Item Statistics

  • Total Downloads: 244
  • Downloads this Month: 4
  • Downloads Today: 0

Browse

My Account

Information

Access Key