Hardware support in a middleware for distributed and real-time embedded applications