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

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2013, Pages 970-975

  Kim, Jung Eun ^a   Yoon, Man Ki ^a   Im, Sungjin ^b   Bradford, Richard ^c   Sha, Lui ^a  

^a University of Illinois at Urbana Champaign   (United States)

^b Duke University   (United States)

^c ROCKWELL COLLINS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; APPROXIMATION ALGORITHMS; AVIONICS; COMPUTER PROGRAMMING; CONSTRAINT THEORY; OPTIMIZATION; REAL TIME SYSTEMS;

CONSTRAINT PROGRAMMING; FEASIBLE SCHEDULE; INTEGRATED MODULAR AVIONICS; MULTI-CORE SYSTEMS; OPTIMAL PARTITIONS; OPTIMIZED PARTITION; OPTIMIZED SCHEDULING; TEMPORAL AND SPATIAL;

SCHEDULING ALGORITHMS;

EID: 84885646626     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.7873/date.2013.203     Document Type: Conference Paper

References (16)

1. ARINC Specification 651: Design Guidance for Integrated Modular Avionics, ser. ARINC report. Airlines Electronic Engineering Committee (AEEC) and Aeronautical Radio Inc, Nov. 1991.
2. J. Rushby, "Partitioning in avionics architectures: Requirements, mechanisms, and assurance," NASA Langley Technical Report Server, Mar. 1999.
3. M. Yue, "A simple proof of the inequality FFD(L) ≤ 11/9 OPT(L) + 1, AL for the FFD bin-packing algorithm," Acta Mathematicae Applicatae Sinica (English Series), Vol. 7, no. 4, pp. 32-331, 1991.
4. J. H. M. Korst, E. H. L. Aarts, and J. K. Lenstra, "Scheduling periodic tasks," INFORMS Journal on Computing, Vol. 8, no. 4, pp. 428-435, 1996.
5. R. Holte, A. Mok, L. Rosier, I. Tulchinsky, and D. Varvel, "The pinwheel: a real-time scheduling problem," in Proc. of the 22nd Annual Hawaii International Conference on System Sciences, 1989, pp. 693-702.
6. C.-C. Han, K.-J. Lin, and C.-J. Hou, "Distance-constrained scheduling and its applications to real-time systems," IEEE Transactions on Computers, Vol. 45, pp. 814-826, 1996.
7. J. Korst, E. Aarts, J. K. Lenstra, and J. Wessels, "Periodic assignment and graph colouring," Discrete Appl. Math., Vol. 51, pp. 291-305, Jul. 1994.
8. A. Al Sheikh, O. Bran, P.-E. Hladik, and B. J. Prabhu, "A best-response algorithm for multiprocessor periodic scheduling," in Proc. of the 23rd Euromicro Conference on Real-Time Systems, 2011, pp. 228-237.
9. -, "Strictly periodic scheduling in IMA-based architectures," Real-Time Syst., Vol. 48, no. 4, pp. 359-386, Jul. 2012.
10. Y.-H. Lee, D. Kim, M. Younis, J. Zhou, and J. Mcelroy, "Resource scheduling in dependable integrated modular avionics," in Proc. of the International Conference on Dependable Systems and Networks (FTCS-30 and DCCA-8), 2000, pp. 14-23.
11. Y.-H. Lee, D. Kim, M. Younis, and J. Zhou, "Scheduling tool and algorithm for integrated modular avionics systems," in Proc. of the 19th Digital Avionics Systems Conference (DASC), 2000.
12. D. Tämaş-Selicean and P. Pop, "Design optimization of mixed-criticality real-time applications on cost-constrained partitioned architectures," in Proc. of the 32nd IEEE Real-Time Systems Symposium, 2011, pp. 24-33.
13. L. Almeida and P. Pedreiras, "Scheduling within temporal partitions: response-time analysis and server design," in Proc. of the 4th ACM international conference on Embedded software, 2004, pp. 95-103.
14. G. Lipari and E. Bini, "Resource partitioning among real-time applications," in Proc. of the 15th Euromicro Conference on Real-Time Systems, 2003, pp. 151-158.
15. R. I. Davis and A. Burns, "Hierarchical fixed priority pre-emptive scheduling," in Proc. of the 24th IEEE Real-Time Systems Symposium, 2005, pp. 389-398.
16. J.-E. Kim, M.-K. Yoon, S. Im, R. Bradford, and L. Sha, "Multi-IMA Partition Scheduling with Synchronized Solo-Partitions for Multi-Core Avionics Systems," Dept. of Computer Science, University of Illinois at Urbana-Champaign, Technical report, May 2012, https://www.ideals.illinois.edu/ handle/2142/35280.