Deadline monotonic scheduling theory and application