Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping



Wang, Zhilu, Huang, Chao ORCID: 0000-0002-9300-1787, Kim, Hyoseung, Li, Wenchao and Zhu, Qi
(2021) Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 20 (5). pp. 1-25.

[img] Text
Cross_Layer_Adaptation__EMSOFT_21___Camera_Ready_.pdf - Author Accepted Manuscript

Download (1MB) | Preview

Abstract

<jats:p> During the operation of many real-time safety-critical systems, there are often strong needs for adapting to a dynamic environment or evolving mission objectives, e.g., increasing sampling and control frequencies of some functions to improve their performance under certain situations. However, a system's ability to adapt is often limited by tight resource constraints and rigid periodic execution requirements. In this work, we present a cross-layer approach to improve system adaptability by allowing <jats:italic>proactive skipping</jats:italic> of task executions, so that the resources can be either saved directly or re-allocated to other tasks for their performance improvement. Our approach includes three novel elements: (1) formal methods for deriving the feasible skipping choices of control tasks with safety guarantees at the functional layer, (2) a schedulability analysis method for assessing system feasibility at the architectural layer under allowed task job skippings, and (3) a runtime adaptation algorithm that efficiently explores job skipping choices and task priorities for meeting system adaptation requirements while ensuring system safety and timing correctness. Experiments demonstrate the effectiveness of our approach in meeting system adaptation needs. </jats:p>

Item Type: Article
Uncontrolled Keywords: Cross-layer, adaptation, safety, weakly hard
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 14 Sep 2021 13:34
Last Modified: 18 Jan 2023 21:28
DOI: 10.1145/3477031
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3137058