Robuta

https://www.rti.org/publication/interrupt-modeling-efficient-high-level-scheduler-design-space-exploration Interrupt modeling for efficient high-level scheduler design space exploration | RTI high level scheduler design space exploration interrupt modeling efficient