RRP-XtratuM
RRP-XtratuM is a toolset designed for XtratuM (https://en.wikipedia.org/wiki/XtratuM). Note that it can also be applied other embedded hypervisor that follows the ARINC 653 standard with some trivial modifications in the form of outputs.
RRP-XtratuM includes both task-level and resource-level tools:
Schedulability Test (ST): ST is a task-level tool. It can judge whether the current configuration of a partition can offer real-time performance guarantees to the task set being deployed.
Resource Specification Generator (RSG): RSG is a task-level tool. It takes in the information of a task set that will be deployed on a partition. It generates an availabilit factor (a resource specification) so that the task set given is schedulable on the partition with the availability factor.
Cyclic Schedule Generator (CSG): CSG is a resource-level tool. It generates one cyclic schedule for each CPU with the configurations of the partitions (resource specifications) taken as inputs.
RRP-XtratuM has a cross-platform UI based on Qt 5.12: https://github.com/DDeChoU/RRP-Toolsets
More functions like the online reconfiguration schedule generator is under developing.
Below, we show the UI of the toolset.