search menu icon-carat-right cmu-wordmark

MZSRM

September 2015 Software

MZSRM is a zero-slack rate monotonic scheduler that has been simplified for verification.

Abstract

MZSRM is a zero-slack rate monotonic scheduler that has been simplified for verification.