A test bed for distributed real-time scheduling experimentation based on the CHORUS micro-kernel