Enabling Limited Resource-Bounded Disjunction in SchedulingDownload PDF

Published: 13 May 2019, Last Modified: 05 May 2023SPARK 2019Readers: Everyone
Keywords: Scheduling, Resource constraints, Execution uncertainty
TL;DR: This paper describes three techniques to allow a non-backtracking, computationally limited scheduler to consider a small number of alternative activities based on resource availability.
Abstract: We describe three approaches to enabling an extremely computationally limited embedded scheduler to consider a small number of alternative activities based on resource availability. We consider the case where the scheduler is so computationally limited that it cannot backtrack search. The first two approaches precompile resource checks (called guards) that only enable selection of a preferred alternative activity if sufficient resources are estimated to be available to schedule the remaining activities. The final approach mimics backtracking by invoking the scheduler multiple times with the alternative activities. We present an evaluation of these techniques on mission scenarios (called sol types) from NASA's next planetary rover where these techniques are being evaluated for inclusion in an onboard scheduler.
3 Replies

Loading