AKG - Schd alg - Tii 2007 v76c.pdf (230.73 kB)
Download file

Automatically Configuring Time-Triggered Schedulers for Use with Resource-Constrained, Single-Processor Embedded Systems.

Download (230.73 kB)
journal contribution
posted on 23.03.2009, 11:49 by Ayman K. Gendy, Michael J. Pont
This paper describes a novel two-stage search technique which is intended to support the configuration of time-triggered schedulers for use with resource-constrained embedded systems which employ a single processor. Our overall goal is to identify a scheduler implementation which will ensure that: (i) all task constraints are met; (ii) CPU power consumption is “as low as possible”; (iii) a fully co-operative scheduler architecture is employed whenever possible. Our search process is not exhaustive, and might be described as “best characteristics first” approach. We proceed iteratively, stopping the search when we have identified the first workable solution. We assume that - because we have begun the search with “best characteristics” - any schedule identified will represent a good (but not necessarily completely optimal) solution. We show that the proposed configuration algorithm is highly effective. We also demonstrate that the algorithm has much lower complexity than alternative “branch and bound” search schemes. We conclude by making some suggestions for future work in this area.



IEEE Transactions on Industrial Informatics, 2008, 4 (1), pp. 37-46.

Published in

IEEE Transactions on Industrial Informatics


Institute of Electrical and Electronics Engineers (IEEE).



Copyright date


Available date


Publisher version