The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2012, Pages 145-154

  Baruah, S ^a   Bonifaci, V ^b   D'Angelo, G ^c   Li, H ^a   Marchetti Spaccamela, A ^d   Van Der Ster, S ^e   Stougie, L ^f  

^a UNIVERSITY OF NORTH CAROLINA   (United States)

^b Istituto di Analisi Dei Sistemi Ed Informatica Antonio Ruberti   (Italy)

^c INRIA   (France)

^d SAPIENZA UNIVERSITY OF ROME   (Italy)

^e VU UNIVERSITY AMSTERDAM   (Netherlands)

^f CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CERTIFICATION REQUIREMENTS; EARLIEST DEADLINE FIRST; SAFETY CRITICAL APPLICATIONS; SAFETY-CRITICAL; SPEED-UP FACTORS; SPORADIC TASK SYSTEMS; UNIPROCESSORS; UTILIZATION BOUNDS;

CRITICALITY (NUCLEAR FISSION); FACTOR ANALYSIS; REAL TIME SYSTEMS; SAFETY ENGINEERING; SCHEDULING;

RESPONSE TIME (COMPUTER SYSTEMS);

EID: 84866463917     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECRTS.2012.42     Document Type: Conference Paper

References (20)

1. J. Barhorst, T. Belote, P. Binns, J. Hoffman, J. Paunicka, P. Sarathy, J. S. P. Stanfill, D. Stuart, and R. Urzi. White paper: A research agenda for mixed-criticality systems, April 2009. Available at http://www.cse.wustl.edu/ ~cdgill/CPSWEEK09-MCAR.
2. S. Baruah and A. Burns. Sustainable scheduling analysis. In Proceedings of the IEEE Real-time Systems Symposium, pages 159-168, Rio de Janeiro, December 2006. IEEE Computer Society Press.
3. S. Baruah, A. Burns, and R. Davis. Response-time analysis for mixed criticality systems. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS), Vienna, Austria, 2011. IEEE Computer Society Press.
4. S. Baruah, H. Li, and L. Stougie. Mixed-criticality scheduling: improved resource-augmentation results. In Proceedings of the ICSA International Conference on Computers and their Applications (CATA). IEEE, April 2010.
5. S. Baruah, H. Li, and L. Stougie. Towards the design of certifiable mixed-criticality systems. In Proceedings of the IEEE Real-Time Technology and Applications Symposium (RTAS). IEEE, April 2010.
6. S. K. Baruah, V. Bonifaci, G. D'Angelo, H. Li, A. Marchetti- Spaccamela, N. Megow, and L. Stougie. Scheduling real-time mixed-criticality jobs. IEEE Transactions on Computers. To appear.
7. S. K. Baruah, V. Bonifaci, G. D'Angelo, H. Li, A. Marchetti-Spaccamela, N. Megow, and L. Stougie. Scheduling realtime mixed-criticality jobs. In P. Hlinený and A. Kucera, editors, Proceedings of the 35th International Symposium on the Mathematical Foundations of Computer Science, volume 6281 of Lecture Notes in Computer Science, pages 90-101. Springer, 2010.
8. S. K. Baruah, V. Bonifaci, G. D'Angelo, A. Marchetti-Spaccamela, S. van der Ster, and L. Stougie. Mixed-criticality scheduling of sporadic task systems. In Proceedings of the 19th Annual European Symposium on Algorithms, pages 555-566, Saarbrucken, Germany, September 2011. Springer-Verlag.
9. A. Burns and S. Baruah. Timing faults and mixed criticality systems. In Jones and Lloyd, editors, Dependable and Historic Computing, volume LNCS 6875, pages 147-166. Springer, 2011.
10. A. Burns and B. Littlewood. Reasoning about the reliability of multi-version, diverse real-time systems. In Proceedings of 31st IEEE Real-Time Systems Symposium, pages 73-81. IEEE Computer Society Press, December 2010.
11. T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms. MIT Press, third edition, 2009.
12. N. Guan, P. Ekberg, M. Stigge, and W. Yi. Effective and efficient scheduling for certifiable mixed criticality sporadic task systems. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS), Vienna, Austria, 2011. IEEE Computer Society Press.
13. N. Guan and W. Yi. Improving the scheduling of certifiable mixed criticality sporadic task systems. Technical report, Uppsala University, 2012.
14. J. Y.-T. Leung and J. Whitehead. On the complexity of fixedpriority scheduling of periodic, real-time tasks. Performance Evaluation, 2:237-250, 1982.
15. H. Li and S. Baruah. An algorithm for scheduling certifiable mixed-criticality sporadic task systems. In Proceedings of the Real-Time Systems Symposium, pages 183-192, San Diego, CA, 2010. IEEE Computer Society Press.
16. C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM, 20(1):46-61, 1973.
17. A. Mok. Fundamental Design Problems of Distributed Systems for The Hard-Real-Time Environment. PhD thesis, Laboratory for Computer Science, Massachusetts Institute of Technology, 1983. Available as Technical Report No. MIT/LCS/TR-297.
18. A. Mok. Task management techniques for enforcing ED scheduling on a periodic task set. In Proc. 5th IEEE Workshop on Real-Time Software and Operating Systems, pages 42-46, Washington D.C., May 1988.
19. P.J.Prisaznuk. Integrated modular avionics. In Proceedings of the IEEE 1992 National Aerospace and Electronics Conference (NAECON 1992), volume 1, pages 39-45, May 1992.
20. S. Vestal. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In Proceedings of the Real-Time Systems Symposium, pages 239-243, Tucson, AZ, December 2007. IEEE Computer Society Press.