Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems
Authors:
- Jung-Eun KimJKJung-Eun Kim
- Man-Ki YoonMYMan-Ki Yoon
- Richard BradfordRBRichard Bradford
- Lui ShaLSLui Sha
- 1 July 2014
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 321-331
Abstract
The trend in the semiconductor industry toward multicore processors poses a significant challenge to many suppliers of safety-critical real-time embedded software. Having certified their systems for use on single-core processors, these companies may be forced to migrate their installed base of software onto multicore processors as single-core processors become harder to obtain. These companies naturally want to minimize the potentially high costs of recertifying their software for multicore processors. In support of this goal, we propose an approach to solving a fundamental problem in migrating legacy software applications to multicore systems, namely that of preventing conflicts among I/O transactions from applications residing on different cores. We formalize the problem as a partition scheduling problem that serializes I/O partitions. Although this problem is strongly NP-complete, we formulate it as a Constraint Programming (CP) problem. Since the CP approach scales poorly, we propose a heuristic algorithm that outperforms the CP approach in scalability.Keywords
This publication has 19 references indexed in Scilit:
- Optimized Scheduling of Multi-IMA Partitions with Exclusive Region for Synchronized Real-Time Multi-Core Systems2013
- Holistic Design Parameter Optimization of Multiple Periodic Resources in Hierarchical Scheduling2013
- ARINC 653 and multi-core microprocessors — Considerations and potential impacts2012
- Strictly periodic scheduling in IMA-based architecturesReal-Time Systems, 2012
- Optimizing Tunable WCET with Shared Resource Allocation and Arbitration in Hard Real-Time Multicore Systems2011
- A Best-Response Algorithm for Multiprocessor Periodic Scheduling2011
- Optimization of Time-Partitions for Mixed-Criticality Real-Time Distributed Embedded Systems2011
- Use of multicore processors in avionics systems and its potential impact on implementation and certification2009
- Scheduling Periodic TasksINFORMS Journal on Computing, 1996
- Periodic assignment and graph colouringDiscrete Applied Mathematics, 1994