Automatic framework generation for hard real-time applications