The next generation of space vehicles integrates different mission functions on a shared computing platform, using the emerging and advanced principle of time and space partitioning (TSP). This principle implies specific scheduling considerations which no scheduling analysis tool fully integrates. TSP systems are a special case of hierarchical scheduling frameworks, a hot topic in the real-time community. In either TSP systems in specific or hierarchical scheduling frameworks in general, it is desirable to observe
composability and compositionality guarantees, which allow, respectively, components to be analysed independently of the rest of the system and the system to be analysed using a view of its components which hides the internal specifics of the latter.
This project goal is to evolve the Cheddar real-time scheduling analysis tool with the application of theoretical results for compositional hierarchical scheduling and time- and space-partitioned (TSP) systems. Besides compositional scheduling analysis, the resulting tool shall also be able to produce feasible partition scheduling tables from the timing requisites of the different applications in a TSP system and generate the latter’s onboard computer configuration parameters.
LASIGE is supported by FCT, project UID/CEC/00408/2019