I. Introduction
Real-time systems (RTSs) design must have both functional and temporal correctness [1], [2]. Thus, RTSs are traditionally designed with temporally predictable and deterministic algorithms. For instance, before implementing an online scheduler, the regular real-time scheduling algorithms have to perform (exact or sufficient only) deterministic (finite time) offline feasibility (also known as schedulability) tests [1]. However, the feasibility test of the scheduling algorithms becomes highly complicated (in most cases intractable) with the underlying system heterogeneity and inter- and intra-dependent tasks [3]. Hence, until recently, RTS was restricted to only safety- and mission-critical systems, such as avionics, spacecraft, etc., with dedicated proprietary hardware platforms and simple task models.