Scheduling real-time mixed-criticality jobs

IEEE Transactions on Computers

Volumn 61, Issue 8, 2012, Pages 1140-1152

  Baruah, Sanjoy ^a   Bonifaci, Vincenzo ^b   D'Angelo, Gianlorenzo ^c   Li, Haohan ^a   Marchetti Spaccamela, Alberto ^d   Megow, Nicole ^e,f   Stougie, Leen ^g  

^a UNIVERSITY OF NORTH CAROLINA   (United States)

^b CNR   (Italy)

^c UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

^d SAPIENZA UNIVERSITY OF ROME   (Italy)

^e TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^f MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

^g VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

certification.; mixed criticality; Preemptive scheduling; safety critical systems

Indexed keywords

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

CRITICALITY (NUCLEAR FISSION);

SCHEDULING;

EID: 84863455124     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/TC.2011.142     Document Type: Article

References (16)

1. ARINC, ARINC 653-1 Avionics Application Software Standard Interface, Oct. 2003.
2. N.C. Audsley, "Optimal Priority Assignment and Feasibility of Static Priority Tasks with Arbitrary Start Times," technical report, The Univ. of York, England, 1991.
3. N.C. Audsley, "Flexible Scheduling in Hard-Real-Time Systems," PhD thesis, Dept. of Computer Science, Univ. of York, 1993.
4. 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," http://www.cse.wustl. edu/-cdgill/ CPSWEEK09-MCAR, Apr. 2009.
5. S. Baruah, H. Li, and L. Stougie, "Mixed-Criticality Scheduling: Improved Resource-Augmentation Results," Proc. The ICSA Int'l Conf. Computers and Their Applications (CATA), Apr. 2010.
6. S. Baruah, H. Li, and L. Stougie, "Towards the Design of Certifiable Mixed-Criticality Systems," Proc. The IEEE Real-Time Technology and Applications Symp. (RTAS), Apr. 2010.
7. S.K. Baruah, V. Bonifaci, G. D'Angelo, H. Li, A. Marchetti-Spaccamela, N. Megow, and L. Stougie, "Scheduling Real-Time Mixed-Criticality Jobs," Proc. The 35th Int'l Symp. the Math. Foundations of Computer Science, P. Hlineny and A. Kucera, eds., pp. 90-101, 2010.
8. D. de Niz, K. Lakshmanan, and R.R. Rajkumar, "On the Scheduling of Mixed-Criticality Real-Time Task Sets," Proc. The Real-Time Systems Symp., pp. 291-300, 2009.
9. M. Garey and D. Johnson, Computers and Intractability : A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, 1979.
10. B. Kalyanasundaram and K. Pruhs, "Speed Is as Powerful as Clairvoyance," J. the ACM, vol. 37, no. 4, pp. 617-643, 2000.
11. K. Lakshmanan, D. de Niz, and R.R. Rajkumar, "Mixed-Criticality Task Synchronization in Zero-Slack Scheduling," Proc. The Real-Time and Embedded Technology and Applications Symp., 2011.
12. K. Lakshmanan, D. de Niz, R.R. Rajkumar, and G. Moreno, "Resource Allocation in Distributed Mixed-Criticality Cyber-Physical Systems," Proc. The 30th Int'l Conf. Distributed Computing Systems, 2010.
13. E.L. Lawler, "Optimal Sequencing of a Single Machine Subject to Precedence Constraints" Management Science, vol. 19, no. 5, pp. 544-546, 1973.
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," Proc. The Int'l Conf. Embedded Software (EMSOFT), 2009.
15. S. Vestal, "Preemptive Scheduling of Multi-Criticality Systems with Varying Degrees of Execution Time Assurance," Proc. The Real-Time Systems Symp., pp. 239-243, Dec. 2007.
16. J. Windsor and K. Hjortnaes, "Time and Space Partitioning in Spacecraft Avionics," Proc. IEEE Int'l Conf. Space Mission Challenges for Information Technology, pp. 13-20, 2009.