This paper introduces a reconfigurable compositional scheduling framework, in which the hierarchical structure, the scheduling policies, the concrete task behavior and the shared resources can all be reconfigured. The behavior of each periodic preemptive task is given as a list of timed actions, which are some of the inputs for the parar meterized timed automata that make up the framework. Components may have different scheduling policies, and each component is analyzed independently using U_(PPAAL). We have applied our framework for the schedulability analysis of an avionics system.
展开▼
