Interrupt modeling for efficient high-level scheduler design space exploration