HomePublicationsJournal Paper

Response time analysis of Multiframe mixed criticality systems with arbitrary deadlines
Ref: CISTER-TR-200603       Publication Date: Apr 2021

Abstract:
The well-known model of Vestal aims to avoid excessive pessimism in the quan- tification of the processing requirements of mixed-criticality systems, while still guaranteeing the timeliness of higher-criticality functions. This can bring im- portant 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 esti- mate characterized by a confidence associated with a different criticality level. However, even this approach can be very pessimistic when the WCET of suc- cessive instances of the same task can vary greatly according to a known pat- tern, as in MP3 and MPEG codecs or the processing of ADVB video streams. In this paper, we present a schedulability analysis for the new multiframe mixed-criticality model, which allows tasks to have multiple, periodically re- peating, WCETs in the same mode of operation. Our work extends both the analysis techniques for Static Mixed-Criticality scheduling (SMC) and Adap- tive Mixed-Criticality scheduling (AMC), on one hand, and the schedulabil- ity analysis for multiframe task systems on the other. A constrained-deadline model is initially targeted, and then extended to the more general, but also more complex, arbitrary-deadline scenario. The corresponding optimal prior- ity assignment for our schedulability analysis is also identified. Our proposed worst-case response time (WCRT) analysis for multiframe mixed-criticality systems is considerably less pessimistic than applying the static and adaptive mixed-criticality scheduling tests oblivious to the WCET variation patterns. Experimental evaluation with synthetic task sets demonstrates up to 20% and 26:9% higher scheduling success ratio (in absolute terms) for constrained- deadline analyses and arbitrary-deadline analyses, respectively, when com- pared to the best of their corresponding frame-oblivious tests.

Ishfaq Hussain

,

Muhammad Ali Awan

,

Pedro F. Souto

,

Konstantinos Bletsas

,

Benny Åkesson

,

Eduardo Tovar

Document:

View
PDF Download
PDF