Towards the design of certifiable mixed-criticality systems

Real-Time Technology and Applications - Proceedings

Volumn , Issue , 2010, Pages 13-22

  Baruah, Sanjoy ^a   Li, Haohan ^a   Stougie, Leen ^b  

^a University of North Carolina   (United States)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CERTIFICATION AUTHORITIES; CERTIFICATION REQUIREMENTS; CRITICALITY SYSTEMS; FORMAL MODEL; MULTIPLE SET; PRIORITY-BASED SCHEDULING; SAFETY-CRITICAL EMBEDDED SYSTEMS; SCHEDULING PROBLEM; SCHEDULING THEORY; SPEED-UP FACTORS;

CRITICALITY (NUCLEAR FISSION); SCHEDULING;

EMBEDDED SYSTEMS;

EID: 77953849202     PISSN: 10801812     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2010.10     Document Type: Conference Paper

References (10)

1. AUDSLEY, N. C. Optimal priority assignment and feasibility of static priority tasks with arbitrary start times. Tech. rep., The University of York, England, 1991.
2. AUDSLEY, N. C. Flexible Scheduling in Hard-Real-Time Systems. PhD thesis, Department of Computer Science, University of York, 1993.
3. BARHORST, J., BELOTE, T., BINNS, P., HOFFMAN, J., PAUNICKA, J., SARATHY, P., STANFILL, J. S. P., STUART, D., AND URZI, R. White paper: A research agenda for mixed-criticality systems, April 2009. Availableathttp://www.cse.wustl.edu/ ̃cdgill/CPSWEEK09MCAR.
4. BARUAH, S. Mixed criticality schedulability analysis is highly intractable. Available at http://www.cs.unc.edu/̃baruah/Pubs.shtml, 2009.
5. BARUAH, S., LI, H., AND STOUGIE, L. Mixed-criticality scheduling: improved resource augmentation results. In Proceedings of the ICSA International Conference on Computers and their Applications (CATA) (April 2010), IEEE.
6. BARUAH, S., AND VESTAL, S. Schedulability analysis of sporadic tasks with multiple criticality specifications. In Proceedings of the EuroMicro Conference on Real-Time Systems (Prague, Czech Republic, July 2008), IEEE Computer Society Press.
7. DE NIZ, D., LAKSHMANAN, K., AND RAJKUMAR, R. R. On the scheduling of mixed-criticality real-time task sets. In Proceedings of the Real-Time Systems Symposium (Washington, DC, 2009), IEEE Computer Society Press, pp. 291-300.
8. PELLIZZONI, R., MEREDITH, P., NAM, M. Y., SUN, M., CACCAMO, M., AND SHA, L. 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.
9. STOCKMEYER, L. The polynomial-time hierarchy. Theoretical Computer Science 3 (1977), 1-22.
10. VESTAL, S. Preemptive scheduling of multi criticality systems with varying degrees of execution time assurance. In Proceedings of the Real-Time Systems Symposium (Tucson, AZ, December 2007), IEEE Computer Society Press, pp. 239-243.