Feasibility analysis of recurring branching tasks

A new model for hard-real-time tasks-the recurring branching task model-is introduced, which is capable of modelling some restricted forms of conditional real-time process code. This model generalizes earlier models such as the sporadic task model and the generalized multiframe task model. It is shown that feasibility analysis in this model-determining whether a system of several recurring branching tasks that share a processor can all be scheduled to always meet all deadlines-can be performed efficiently, in pseudo-polynomial time.