An algorithm for scheduling certifiable mixed-criticality sporadic task systems

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2010, Pages 183-192

  Li, Haohan ^a   Baruah, Sanjoy ^a  

^a UNIVERSITY OF NORTH CAROLINA   (United States)

Author keywords

Certification; On line scheduling; Preemptive uniprocessors; Sporadic task systems

Indexed keywords

CERTIFICATION; CERTIFICATION REQUIREMENTS; MIXED-CRITICALITY SYSTEMS; ON-LINE SCHEDULING; PRIORITY-BASED; RECURRENT TASKS; SAFETY-CRITICAL; SAFETY-CRITICAL EMBEDDED SYSTEMS; SCHEDULABILITY CONDITIONS; SCHEDULING PROBLEM; SCHEDULING THEORY; SPORADIC TASK SYSTEMS; UNIPROCESSORS;

CRITICALITY (NUCLEAR FISSION); EMBEDDED SYSTEMS; SAFETY ENGINEERING; SCHEDULING ALGORITHMS;

REAL TIME SYSTEMS;

EID: 79951778337     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTSS.2010.18     Document Type: Conference Paper

References (17)

1. ARINC. ARINC 653-1 Avionics application software standard interface, October 2003.
2. N. C. Audsley. Optimal priority assignment and feasibility of static priority tasks with arbitrary start times. Technical report, The University of York, England, 1991.
3. 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.
4. 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.
5. S. Baruah, A. Mok, and L. Rosier. Preemptively scheduling hard-real-time sporadic tasks on one processor. In Proceedings of the 11th Real-Time Systems Symposium, pages 182-190, Orlando, Florida, 1990. IEEE Computer Society Press.
6. G. C. Buttazzo. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Second edition, 2005.
7. D. de Niz, K. Lakshmanan, and R. R. Rajkumar. On the scheduling of mixed-criticality real-time task sets. In Proceedings of the Real-Time Systems Symposium, pages 291-300, Washington, DC, 2009. IEEE Computer Society Press.
8. M. Dertouzos. Control robotics : the procedural control of physical processors. In Proceedings of the IFIP Congress, pages 807-813, 1974.
9. L. George, N. Rivierre, and M. Spuri. Preemptive and non-preemptive real-time uniprocessor scheduling. Technical Report RR-2966, INRIA: Institut National de Recherche en Informatique et en Automatique, 1996.
10. H. Li and S. Baruah. Load-based schedulability analysis of certifiable mixed-criticality systems. Available at http://www.cs.unc.edu/~baruah/Pubs. shtml, 2010.
11. C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM, 20(1):46-61, 1973.
12. J. W. S. Liu. Real-Time Systems. Prentice-Hall, Inc., Upper Saddle River, New Jersey 07458, 2000.
13. A. K. 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.
14. R. Pellizzoni, P. Meredith, M. Y. Nam, M. Sun, M. Caccamo, and L. Sha. Handling mixed criticality in SoC-based real-time embedded systems. In Proceedings of the International Conference on Embedded Software (EMSOFT), Grenoble, France, 2009. IEEE Computer Society Press.
15. I. Ripoll, A. Crespo, and A. K. Mok. Improvement in feasibility testing for real-time tasks. Real-Time Systems: The International Journal of Time-Critical Computing, 11:19-39, 1996. (Pubitemid 126716096)
16. 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.
17. J. Windsor and K. Hjortnaes. Time and space partitioning in spacecraft avionics. Space Mission Challenges for Information Technology, IEEE International Conference on, pages 13-20, 2009.