Haj Hammadeh, Zain Alabedin and Hasan, Monowar and Hamad, Mohammad (2025) RESCUE: A Reconfigurable Scheduling Framework for Securing Multi-Core Real-Time Systems. ACM Transactions on Cyber-Physical Systems. Association for Computing Machinery (ACM). doi: 10.1145/3728364. ISSN 2378-962X.
|
PDF
- Preprint version (submitted draft)
1MB |
Official URL: https://dl.acm.org/doi/10.1145/3728364
Abstract
Modern real-time systems face increasing vulnerabilities to cyber-attacks, particularly those that use multi-core chips, where safety-critical and non-safety-critical tasks execute concurrently. Existing solutions for multicore systems often lack either determinism or cost-efficiency. This paper introduces an offline analysis technique that computes all feasible schedules for real-time tasks running on multi-core platforms. Our proposed technique isolates compromised tasks while ensuring a fail-operational system and supports low-cost, reconfigurable scheduling. The analytical models presented in this paper guarantee the hard real-time constraints of safety- critical tasks while allowing bounded deadline misses for some non-safety-critical tasks during an attack to enhance security. We name our scheme RESCUE. We conduct a comprehensive design-space exploration and evaluate its real-world efficacy using a UAV autopilot system case study deployed on a quad-core platform (Raspberry Pi). Results show that the proposed scheme introduces minimal recovery overhead, measured in microseconds on a Raspberry Pi, and achieves 100.
| Item URL in elib: | https://elib.dlr.de/213339/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Article | ||||||||||||||||
| Title: | RESCUE: A Reconfigurable Scheduling Framework for Securing Multi-Core Real-Time Systems | ||||||||||||||||
| Authors: |
| ||||||||||||||||
| Date: | 9 April 2025 | ||||||||||||||||
| Journal or Publication Title: | ACM Transactions on Cyber-Physical Systems | ||||||||||||||||
| Refereed publication: | Yes | ||||||||||||||||
| Open Access: | Yes | ||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||
| In SCOPUS: | Yes | ||||||||||||||||
| In ISI Web of Science: | Yes | ||||||||||||||||
| DOI: | 10.1145/3728364 | ||||||||||||||||
| Publisher: | Association for Computing Machinery (ACM) | ||||||||||||||||
| ISSN: | 2378-962X | ||||||||||||||||
| Status: | Published | ||||||||||||||||
| Keywords: | Real-time Systems, Schedule Reconfiguration, Multicore, Security | ||||||||||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||||||
| HGF - Program: | Space | ||||||||||||||||
| HGF - Program Themes: | Space System Technology | ||||||||||||||||
| DLR - Research area: | Raumfahrt | ||||||||||||||||
| DLR - Program: | R SY - Space System Technology | ||||||||||||||||
| DLR - Research theme (Project): | R - ScOSA Flight Experiment | ||||||||||||||||
| Location: | Braunschweig | ||||||||||||||||
| Institutes and Institutions: | Institute of Software Technology > Flight Software | ||||||||||||||||
| Deposited By: | Haj Hammadeh, Zain Alabedin | ||||||||||||||||
| Deposited On: | 19 May 2025 13:43 | ||||||||||||||||
| Last Modified: | 19 May 2025 13:43 |
Repository Staff Only: item control page