Response time analysis of multiframe mixed-criticality systems

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2019-11

Autores

Pedro Souto (Autor) FEUP; Ishfaq Hussain (Autor) Outra; Muhammad Ali Awan (Autor) Outra; Konstantinos Bletsas (Autor) Outra; Benn Akesson (Autor) Outra; Eduardo Tovar (Autor) Outra

Ata de Conferência Internacional

Título: RTNS 2019: PROCEEDINGS OF THE 27TH INTERNATIONAL CONFERENCE ON REAL-TIME NETWORKS AND SYSTEMS (RTNS 2019)

Páginas: 1-11

27th International Conference on Real-Time Networks and Systems (RTNS)

Touluse, FRANCE, NOV 06-08, 2019

Outras Informações

ID Authenticus: P-00T-SAW

DOI: 10.1145/3356401.3356405

Abstract (EN): 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. © 2019 Association for Computing Machinery.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 11