1. Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping
- Author
-
Wenchao Li, Zhilu Wang, Hyoseung Kim, Chao Huang, and Qi Zhu
- Subjects
Correctness ,Computer science ,Distributed computing ,media_common.quotation_subject ,Control (management) ,System safety ,Formal methods ,Adaptability ,Task (project management) ,Hardware and Architecture ,Performance improvement ,Adaptation (computer science) ,Software ,media_common - Abstract
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 proactive skipping 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.
- Published
- 2021