A framework for achieving inter-application isolation in multiprogrammed, hard real-time environments