The Community for Technology Leaders
RSS Icon
Issue No.08 - Aug. (2012 vol.61)
pp: 1140-1152
Sanjoy Baruah , University of North Carolina, Chapel Hill
Vincenzo Bonifaci , Universita Telematica Internazionale Uninettuno
Gianlorenzo D'Angelo , Universita degli Studi dell' Aquila, Monteluco di Roio
Haohan Li , University of North Carolina, Chapel Hill
Alberto Marchetti-Spaccamela , Sapienza University, Rome
Nicole Megow , Max-Planck-Institut fur Informatik, Saarbrucken
Leen Stougie , VU University and CWI, Amsterdam
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different certification authorities. Certification requirements in such "mixed-criticality” systems give rise to interesting scheduling problems, that cannot be satisfactorily addressed using techniques from conventional scheduling theory. In this paper, we study a formal model for representing such mixed-criticality workloads. We demonstrate first the intractability of determining whether a system specified in this model can be scheduled to meet all its certification requirements, even for systems subject to merely two sets of certification requirements. Then we quantify, via the metric of processor speedup factor, the effectiveness of two techniques, reservation-based scheduling and priority-based scheduling, that are widely used in scheduling such mixed-criticality systems, showing that the latter of the two is superior to the former. We also show that the speedup factors we obtain are tight for these two techniques.
Preemptive scheduling, safety-critical systems, mixed criticality, certification.
Sanjoy Baruah, Vincenzo Bonifaci, Gianlorenzo D'Angelo, Haohan Li, Alberto Marchetti-Spaccamela, Nicole Megow, Leen Stougie, "Scheduling Real-Time Mixed-Criticality Jobs", IEEE Transactions on Computers, vol.61, no. 8, pp. 1140-1152, Aug. 2012, doi:10.1109/TC.2011.142
[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/~cdgillCPSWEEK09_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. Hlinený 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.
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool