A Traceable and Predictable Quality-of-Service Mechanism for Remote Processor Messaging-Based Inter-Core Communication in Heterogeneous Multi-Core Systems