Cited 0 time in webofscience Cited 1 time in scopus

Necessary Feasibility Analysis for Mixed-Criticality Task Systems on Uniprocessor

Title
Necessary Feasibility Analysis for Mixed-Criticality Task Systems on Uniprocessor
Authors
Chwa, Hoon SungBaek, HyeongbooLee, Jinkyu
DGIST Authors
Chwa, Hoon Sung
Issue Date
2019-12-06
Citation
IEEE Real-Time Systems Symposium, 446-457
Type
Conference
ISBN
9781728144030
ISSN
1052-8725
Abstract
While feasibility of timing guarantees has been extensively studied for single-criticality (SC) task systems, the same cannot be said true for mixed-criticality (MC) task systems. In particular, there exist only a few studies that address necessary feasibility conditions for MC task systems, and all of them have derived trivial results from existing SC studies that rely on simple demand-supply comparison. In this paper, we develop necessary feasibility tests for MC task systems on a uniprocessor platform, which is the first study that yields non-trivial results for MC necessary feasibility. To this end, we investigate characteristics of MC necessary feasibility conditions. Due to the existence of the mode change and consequences thereof, the characteristics pose new challenges that cannot be resolved by existing techniques for SC task systems, including how to calculate demand when the mode change occurs, how to determine the target sub-intervals for demand-supply comparison, how to derive an infeasibility condition from demand-supply comparisons with different possible mode change instants, how to select a scenario to specify the mode change instant without the target scheduling algorithm, and how to find infeasible task sets with reasonable time-complexity. By addressing those challenges, we develop a new necessary feasibility test and its simplified version. The simulation results demonstrate that the proposed tests find a number of additional infeasible task sets which have been proven neither feasible nor infeasible by any existing studies. © 2019 IEEE.
URI
http://hdl.handle.net/20.500.11750/11807
DOI
10.1109/RTSS46320.2019.00046
Publisher
Institute of Electrical and Electronics Engineers Inc.
Related Researcher
  • Author Chwa, Hoon Sung Real-Time Computing Lab
  • Research Interests Real-Time Systems; Real-Time AI Services; Cyber-Physical Systems; Mobile Systems
Files:
There are no files associated with this item.
Collection:
Department of Information and Communication EngineeringReal-Time Computing Lab2. Conference Papers


qrcode mendeley

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

BROWSE