Limited-Preemption EDF Scheduling for Multi-Phase Secure Tasks
Safety-critical embedded systems such as autonomous vehicles typically have only very limited computational capabilities on board that must be carefully managed to provide required enhanced functionalities. As these systems become more complex and inter-connected, some parts may need to be secured t...
Saved in:
| Main Authors: | , , , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
2025-04-01
|
| Series: | Leibniz Transactions on Embedded Systems |
| Subjects: | |
| Online Access: | https://drops.dagstuhl.de/storage/07lites/lites_vol010/lites_vol010_issue001/LITES.10.1.3/LITES.10.1.3.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849426631277412352 |
|---|---|
| author | Standaert, Benjamin Raadia, Fatima Sudvarg, Marion Baruah, Sanjoy Chantem, Thidapat Fisher, Nathan Gill, Christopher |
| author_facet | Standaert, Benjamin Raadia, Fatima Sudvarg, Marion Baruah, Sanjoy Chantem, Thidapat Fisher, Nathan Gill, Christopher |
| author_sort | Standaert, Benjamin |
| collection | DOAJ |
| description | Safety-critical embedded systems such as autonomous vehicles typically have only very limited computational capabilities on board that must be carefully managed to provide required enhanced functionalities. As these systems become more complex and inter-connected, some parts may need to be secured to prevent unauthorized access, or isolated to ensure correctness.
We propose the multi-phase secure (MPS) task model as a natural extension of the widely used sporadic task model for modeling both the timing and the security (and isolation) requirements for such systems. Under MPS, task phases reflect execution using different security mechanisms which each have associated execution time costs for startup and teardown. We develop corresponding limited-preemption EDF scheduling algorithms and associated pseudo-polynomial schedulability tests for constrained-deadline MPS tasks. In doing so, we provide a correction to a long-standing schedulability condition for EDF under limited-preemption. Evaluation shows that the proposed tests are efficient to compute for bounded utilizations. We empirically demonstrate that the MPS model successfully schedules more task sets compared to non-preemptive approaches. |
| format | Article |
| id | doaj-art-d303c04fd63e4f28bb4debde87321fb2 |
| institution | Kabale University |
| issn | 2199-2002 |
| language | English |
| publishDate | 2025-04-01 |
| publisher | Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik |
| record_format | Article |
| series | Leibniz Transactions on Embedded Systems |
| spelling | doaj-art-d303c04fd63e4f28bb4debde87321fb22025-08-20T03:29:18ZengSchloss Dagstuhl -- Leibniz-Zentrum fuer InformatikLeibniz Transactions on Embedded Systems2199-20022025-04-011013:13:2710.4230/LITES.10.1.3Limited-Preemption EDF Scheduling for Multi-Phase Secure TasksStandaert, Benjamin0https://orcid.org/0009-0008-5093-5441Raadia, Fatima1https://orcid.org/0009-0008-2481-1293Sudvarg, Marion2https://orcid.org/0000-0003-2318-7763Baruah, Sanjoy3https://orcid.org/0000-0002-4541-3445Chantem, Thidapat4https://orcid.org/0000-0002-5688-5720Fisher, Nathan5https://orcid.org/0000-0002-9733-3842Gill, Christopher6https://orcid.org/0000-0003-0366-8586Washington University, St. Louis, MO, United StatesWayne State University, Detroit, MI, USAWashington University, St. Louis, MO, United StatesWashington University, St. Louis, MO, United StatesVirginia Tech, Blacksburg, VA, USAWayne State University, Detroit, MI, USAWashington University, St. Louis, MO, United StatesSafety-critical embedded systems such as autonomous vehicles typically have only very limited computational capabilities on board that must be carefully managed to provide required enhanced functionalities. As these systems become more complex and inter-connected, some parts may need to be secured to prevent unauthorized access, or isolated to ensure correctness. We propose the multi-phase secure (MPS) task model as a natural extension of the widely used sporadic task model for modeling both the timing and the security (and isolation) requirements for such systems. Under MPS, task phases reflect execution using different security mechanisms which each have associated execution time costs for startup and teardown. We develop corresponding limited-preemption EDF scheduling algorithms and associated pseudo-polynomial schedulability tests for constrained-deadline MPS tasks. In doing so, we provide a correction to a long-standing schedulability condition for EDF under limited-preemption. Evaluation shows that the proposed tests are efficient to compute for bounded utilizations. We empirically demonstrate that the MPS model successfully schedules more task sets compared to non-preemptive approaches.https://drops.dagstuhl.de/storage/07lites/lites_vol010/lites_vol010_issue001/LITES.10.1.3/LITES.10.1.3.pdfreal-time systemslimited-preemption schedulingtrusted execution environments |
| spellingShingle | Standaert, Benjamin Raadia, Fatima Sudvarg, Marion Baruah, Sanjoy Chantem, Thidapat Fisher, Nathan Gill, Christopher Limited-Preemption EDF Scheduling for Multi-Phase Secure Tasks Leibniz Transactions on Embedded Systems real-time systems limited-preemption scheduling trusted execution environments |
| title | Limited-Preemption EDF Scheduling for Multi-Phase Secure Tasks |
| title_full | Limited-Preemption EDF Scheduling for Multi-Phase Secure Tasks |
| title_fullStr | Limited-Preemption EDF Scheduling for Multi-Phase Secure Tasks |
| title_full_unstemmed | Limited-Preemption EDF Scheduling for Multi-Phase Secure Tasks |
| title_short | Limited-Preemption EDF Scheduling for Multi-Phase Secure Tasks |
| title_sort | limited preemption edf scheduling for multi phase secure tasks |
| topic | real-time systems limited-preemption scheduling trusted execution environments |
| url | https://drops.dagstuhl.de/storage/07lites/lites_vol010/lites_vol010_issue001/LITES.10.1.3/LITES.10.1.3.pdf |
| work_keys_str_mv | AT standaertbenjamin limitedpreemptionedfschedulingformultiphasesecuretasks AT raadiafatima limitedpreemptionedfschedulingformultiphasesecuretasks AT sudvargmarion limitedpreemptionedfschedulingformultiphasesecuretasks AT baruahsanjoy limitedpreemptionedfschedulingformultiphasesecuretasks AT chantemthidapat limitedpreemptionedfschedulingformultiphasesecuretasks AT fishernathan limitedpreemptionedfschedulingformultiphasesecuretasks AT gillchristopher limitedpreemptionedfschedulingformultiphasesecuretasks |