Add to ORKGDesigning a SoC for applications with mixed time-criticality is a complex and time-consuming task. Even when SoCs are built from components with known real-time properties, they still have to be combined and configured correctly to assert that these properties hold for the complete system, which is non trivial. Furthermore, applications need to be mapped to the available hardware resources and correctly integrated with the SoC’s software stack, such that the real-time requirements of the applications are guaranteed to be satisfied. However, as systems grow in complexity, the de-sign and verification effort increases, which makes it difficult to satisfy the tight time-to-market constraint. Design tools are essential to speed up the developme...