Compositional schedulability analysis of real-time systems using time Petri nets
Conference
Xu, D, He, X, Deng, Y. (2002). Compositional schedulability analysis of real-time systems using time Petri nets
. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 28(10), 984-996. 10.1109/TSE.2002.1041054
Xu, D, He, X, Deng, Y. (2002). Compositional schedulability analysis of real-time systems using time Petri nets
. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 28(10), 984-996. 10.1109/TSE.2002.1041054
This paper presents an approach to the schedulability analysis of real-time systems modeled in time Petri nets by separating timing properties from other behavioral properties. The analysis of behavioral properties is conducted based on the reachability graph of the underlying Petri net, whereas timing constraints are checked in terms of absolute and relative firing domains. If a specific task execution is schedulable, we calculate the time span of the task execution, and pinpoint nonschedulable transitions to help adjust timing constraints. A technique for compositional timing analysis is also proposed to deal with complex task sequences, which not only improves efficiency but also facilitates the discussion of the reachability issue with regard to schedulability. We have identified a class of well-structured time Petri nets such that their teachability can be easily analyzed.
