PSpSys: A time-predictable mixed-criticality system architecture based on ARM TrustZone