Author's School

School of Engineering and Applied Science

Document Type

Article

Publication Date

Fall 9-19-2024

Abstract

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 scheduling algorithms and associated pseudo-polynomial schedulability tests for constrained-deadline MPS tasks; evaluation shows that these are efficient to compute for bounded utilizations. We empirically demonstrate that the MPS model successfully schedules more task sets compared to non-preemptive approaches.

Comments

This article is a preprint of a manuscript that is currently under review with the Leibniz Transactions on Embedded Systems (LITES) journal.

Download

Share

COinS