Ishfaq Hussain
Benny Akesson
ABSTRACT
The well-known model of Vestal aims to avoid excessive pessimism in the quantification of the processing requirements of mixed-criticality systems, while still guaranteeing the timeliness of higher-criticality functions. This can bring important savings in system costs, and indirectly help meet size, weight and power constraints. This efficiency is promoted via the use of multiple worst-case execution time (WCET) estimates for the same task, with each such estimate characterised by a confidence associated with a different criticality level. However, even this approach can be very pessimistic when the WCET of successive instances of the same task can vary greatly according to a known pattern, as in MP3 and MPEG codecs or the processing of ADVB video streams.
In this paper, we present a schedulability analysis for the multiframe mixed-criticality model, which allows tasks to have multiple, periodically repeating, WCETs in the same mode of operation. Our work extends both the analysis techniques for Static Mixed-Cricality scheduling (SMC) and Adaptive Mixed-Criticality scheduling (AMC), on one hand, and the schedulability analysis for multiframe task systems on the other. Our proposed worst-case response time (WCRT) analysis for multiframe mixed-criticality systems is considerably less pessimistic than applying the SMC, AMC-rtb and AMC-max tests obliviously to the WCET variation patterns. Experimental evaluation with synthetic task sets demonstrates up to 63.8% higher scheduling success ratio (in absolute terms) compared to the best of the frame-oblivious tests.
References
- AERONAUTICAL RADIO, INC. 2013. <u>ARINC specification 818-2 Avionics Digital Video Bus (ADVB) High Data Rate</u> (818-2 ed.). AERONAUTICAL RADIO, INC.Google Scholar
- Sedigheh Asyaban and Mehdi Kargahi. 2018. An exact schedulability test for fixed-priority preemptive mixed-criticality real-time systems. 54, 1 (01 Jan 2018), 32--90.Google Scholar
- N. C. Audsley. 2001. On Priority Assignment in Fixed Priority Scheduling. 79, 1 (2001), 39--44.Google Scholar
- CM Bailey, A Burns, AJ Wellings, and CH Forsyth. 1995. Keynote paper: A performance analysis of a hard real-time system. <u>Control Engineering Practice</u> 3, 4 (1995), 447--464.Google Scholar
- Sanjoy Baruah and Alan Burns. 2011. Implementing mixed criticality systems in Ada. In <u>16th Ada-Europe Conference.</u> 174--188.Google Scholar
- Sanjoy Baruah, Deji Chen, Sergey Gorinsky, and Aloysius Mok. 1999. Generalized Multiframe Tasks. 17, 1 (01 Jul 1999), 5--22.Google Scholar
- S. K. Baruah, A. Burns, and R. I. Davis. 2011. Response-Time Analysis for Mixed Criticality Systems. 34--43.Google Scholar
- S. K. Baruah and A. Mok. 1999. Static-priority scheduling of multiframe tasks. 38--45.Google Scholar
- Andrea Bastoni, Björn Brandenburg, and James Anderson. 2010. Cache-related preemption and migration delays: Empirical approximation and impact on schedulability. <u>Proceedings of OSPERT</u> (2010), 33--44.Google Scholar
- E. Bini and G.C. Buttazzo. 2009. Measuring the Performance of Schedulability tests. 30, 1--2 (2009), 129--154.Google Scholar
- A. Burns and R.I. Davis. 2014. Adaptive Mixed Criticality Scheduling with Deferred Preemption. 21--30.Google Scholar
- Alan Burns and Robert Ian Davis. 2017. Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines. In <u>5th International Workshop on Mixed Criticality Systems (WMC 2017).</u> York.Google Scholar
- Robert I. Davis and Alan Burns. 2009. Priority Assignment for Global Fixed Priority Pre-emptive Scheduling in Multiprocessor Real-Time Systems. 398--409.Google Scholar
- T. Fleming and A. Burns. 2013. Extending Mixed Criticality Scheduling. In <u>Proc. WMC, RTSS.</u> 7--12.Google Scholar
- Tom Fleming, Huang-Ming Huang, Alan Burns, Chris Gill, Sanjoy Baruah, and Chenyang Lu. 2017. Corrections to and Discussion of "Implementation and Evaluation of Mixed-criticality Scheduling Approaches for Sporadic Tasks". 16, 3 (2017), 77:1--77:4.Google Scholar
- Huang-Ming Huang, Christopher Gill, and Chenyang Lu. 2014. Implementation and Evaluation of Mixed-criticality Scheduling Approaches for Sporadic Tasks. 13, 4s, Article 126 (April 2014), 25 pages.Google Scholar
- Raj Jain. 1991. <u>The art of computer systems performance analysis - techniques for experimental design, measurement, simulation, and modeling.</u> Wiley. I-XXVII, 1--685 pages.Google Scholar
- M. Joseph and P. Pandya. 1986. Finding Response Times in a Real-Time System. 29, 5 (1986), 390--395.Google Scholar
- Didier Le Gall. 1991. MPEG: A Video Compression Standard for Multimedia Applications. <u>Commun. ACM</u> 34, 4 (April 1991), 46--58. Google ScholarDigital Library
- John P. Lehoczky, Lui Sha, and Y. Ding. 1989. The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior. 166--171.Google Scholar
- C. Liu and J. Layland. 1973. Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment. <u>J. ACM</u> 20 (1973), 46--61.Google Scholar
- A. K. Mok and D. Chen. 1997. A multiframe model for real-time tasks. 23, 10 (Oct 1997), 635--645.Google Scholar
- Borislav Nikolic, Muhammad Ali Awan, and Stefan M. Petters. 2011. SPARTS: Simulator for Power Aware and Real-Time Systems. Changsha, China, 999--1004.Google Scholar
- S. Vestal. 2007. Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance.Google Scholar
- Q. Zhao, Z. Gu, and H. Zeng. 2013. PT-AMC: Integrating Preemption Thresholds into Mixed-Criticality Scheduling. 141--146. Google ScholarCross Ref
Comments