Budgeted generalized rate monotonic analysis for the partitioned, yet globally scheduled uniprocessor model

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS

Volumn 2015-May, Issue , 2015, Pages 221-231

  Kim, Jung Eun ^a   Abdelzaher, Tarek ^a   Sha, Lui ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGER PROGRAMMING; SCHEDULING; SOFTWARE DESIGN;

MAXIMUM RESPONSE TIME; MIXED INTEGER LINEAR PROGRAMMING PROBLEMS; RATE MONOTONIC ANALYSIS; RATE-MONOTONIC SCHEDULING; RESOURCE PARTITIONING; RESPONSE-TIME ANALYSIS; SOFTWARE DEVELOPMENT CYCLES; SYSTEM IMPLEMENTATION;

BUDGET CONTROL;

EID: 84944677684     PISSN: 15453421     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2015.7108445     Document Type: Conference Paper

References (32)

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, Mar. 1999.
3. "Avionics application software standard interface: Arinc specification 653p1-3," Aeronautical Radio, Inc., 2010.
4. R. I. Davis and A. Burns, "Hierarchical fixed priority pre-emptive scheduling," in Proceedings of the 24th IEEE Real-Time Systems Symposium, 2005, pp. 389-398.
5. C. L. Liu and J. W. Layland, "Scheduling algorithms for multiprogramming in a hard real-time environment," Journal of the ACM, vol. 20, no. 1, pp. 46-61, January 1973.
6. A. Zuhily and A. Burns, "Optimal (d-j)-monotonic priority assignment," Information Processing Letters, vol. 103, no. 6, pp. 247-250, 2007.
7. J. Y.-T. Leung and J. Whitehead, "On the complexity of fixed-priority scheduling of periodic real-time tasks," Performance Evaluation, vol. 2, no. 4, pp. 237-250, 1982.
8. J. L. Herman, C. J. Kenna, M. S. Mollison, J. H. Anderson, and D. M. Johnson, "Rtos support for multicore mixed-criticality systems," in IEEE Real-Time and Embedded Technology and Applications Symposium. IEEE, 2012, pp. 197-208.
9. L. Sha and J. B. Goodenough, "Real-time scheduling theory and ada," Computer, vol. 23, no. 4, pp. 53-62, Apr. 1990.
10. I. Shin and I. Lee, "Periodic resource model for compositional real-time guarantees," in Proceedings of the 24th IEEE International Real-Time Systems Symposium, ser. RTSS '03, 2003, pp. 2-13.
11. M.-K. Yoon, J.-E. Kim, R. Bradford, and L. Sha, "Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling," in Proceedings of the 16th ACM/IEEE Design, Automation, and Test in Europe (DATE 2013), 2013, pp. 1313-1318.
12. C.-W. Hsueh and K.-J. Lin, "An optimal pinwheel scheduler using the single-number reduction technique. " in RTSS, 1996, pp. 196-205.
13. L. Sha, "Real-time virtual machines for avionics software porting and development. " in Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, February 18-20, 2003., J. Chen and S. Hong, Eds., 2003, pp. 123-135.
14. M. Joseph and P. K. Pandya, "Finding response times in a real-time system. " The Computer Journal, vol. 29, no. 5, pp. 390-395, 1986.
15. J. Bisschop, "AIMMS Optimization Modeling," Paragon Decision Technology, March 2011.
16. D. Locke, L. Lucas, and J. Goodenough, "Generic avionics software specification," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, technical report CMU/SEI-90-TR-008, 1990.
17. L. Almeida and P. Pedreiras, "Scheduling within temporal partitions: response-time analysis and server design," in Proceedings of the 4th ACM international conference on Embedded software, 2004, pp. 95-103.
18. G. Lipari and E. Bini, "Resource partitioning among real-time applications," in Proceedings of the 15th Euromicro Conference on Real-Time Systems, 2003, pp. 151-158.
19. S. Saewong, R. R. Rajkumar, J. P. Lehoczky, and M. H. Klein, "Analysis of hierarchical fixed-priority scheduling," in Proceedings of the 14th Euromicro Conference on Real-Time Systems, 2002, pp. 152-160.
20. R. I. Davis and A. Burns, "An investigation into server parameter selection for hierarchical fixed priority pre-emptive systems," in Proceedings of Real-Time and Network Systems, RTNS, 2008.
21. A. Easwaran, "Compositional schedulability analysis supporting associativity, optimality, dependency and concurrency," PhD thesis, Computer and Information Science, University of Pennsylvania, 2007.
22. I. Shin and I. Lee, "Compositional real-time scheduling framework with periodic model," ACM Transactions on Embedded Computing Systems, vol. 7, no. 3, pp. 30:1-30:39, May 2008.
23. F. Dewan and N. Fisher, "Approximate bandwidth allocation for fixedpriority-scheduled periodic resources," in Proceedings of the 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium, ser. RTAS '10, 2010, pp. 247-256.
24. N. Fisher, "An FPTAS for interface selection in the periodic resource model," in Proceedings of the 17th International Conference on Real-Time and Network Systems, 2009, pp. 127-136.
25. D.-W. Park, S. Natarajan, A. Kanevsky, and M. J. Kim, "A generalized utilization bound test for fixed-priority real-time scheduling," in Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications, 1995.
26. C.-G. Lee, L. Sha, and A. Peddi, "Enhanced utilization bounds for qos management," IEEE Trans. Computers, vol. 53, no. 2, pp. 187-200, 2004.
27. D. Chen, A. Mok, and T.-W. Kuo, "Utilization bound revisited," IEEE Transactions on Computers, vol. 52, pp. 351-361, March 2003.
28. 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.
29. 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.
30. D. Tamaş-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.
31. -, "Optimization of time-partitions for mixed-criticality real-time distributed embedded systems," in Proc. of the 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011, pp. 1-10.
32. J. Rufino, J. Craveiro, and P. Verissimo, "Architecting robustness and timeliness in a new generation of aerospace systems," Architecting dependable systems VII, LNCS, vol. 6420, pp. 146-170, 2010.