On system models and schedulability analysis for basic single-rate cyclic executives

Despite their industrial relevance, contemporary textbooks do not pay much attention to cyclic executives, if at all. Analysis techniques for these executives are therefore needed.In this paper, we consider the impact of a real-time system model on the schedulability analysis of basic single-rate cyclic executives. Next to the basic real-time scheduling model MB, presented in [1], two other models are considered in this paper, a first refined model MR that takes the notion of observable event [2] into account and a second model MP that in addition also considers the single-path code paradigm [3]. Whereas the exact schedulability analysis for MB turns out to be pessimistic when applied for the refined model MR, the analysis turns out to be optimistic for the second model MP.