I. Introduction
Networks-on-Chip (NoCs) [1] constitute the main communication backbone of modern multiprocessor systems on chip (MPSoCs) architectures. Considering their superior efficiency, they show high potential for use in safety critical real-time domains such as avionics and automotive. In such systems, safety- and time-critical applications are frequently integrated and executed together forming mixed-critical systems. This requires “sufficient isolation” between components with different criticality levels (e.g. required by avionics safety standard DO-178B [2]) as well as resource sharing for increased utilization and efficiency. The fulfillment of these demands requires providing guaranteed service for all criticality levels. In realtime NoCs, there exists two established solutions to tackle this issue: Time-Division Multiplexing (TDM) and non-blocking routers with rate control [3].