Design and evaluation of flexible time-triggered task schedulers for dynamic control applications