Towards a More Flexible Timing Definition Language
Time-triggered languages permit to model real-time system temporal behavior by assigning system activities to the particular time instants. At these precise instants system observes the controlled object and, depending on the analysis of its state, invokes the appropriate actions. This fine-grained control of system temporal evolution enables value and time deterministic programming. Up-to-date time-triggered frameworks allow to model multi-modal and multi-modular real-time systems. However, their timing verification imposes some constraints on the computational task model and system reactivity. By adapting scheduling analysis techniques based on the processor demand instead of processor utilization factor, these limitations can be overcome and a more flexible framework may be proposed.