Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/4332
Title: Automatically Configuring Time-Triggered Schedulers for Use with Resource-Constrained, Single-Processor Embedded Systems.
Authors: Gendy, Ayman K.
Pont, Michael J.
First Published: Feb-2008
Publisher: Institute of Electrical and Electronics Engineers (IEEE).
Citation: IEEE Transactions on Industrial Informatics, 2008, 4 (1), pp. 37-46.
Abstract: 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.
DOI Link: 10.1109/TII.2008.916053
ISSN: 1551-3203
Links: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4451785
http://hdl.handle.net/2381/4332
Type: Article
Rights: This is the author's final draft of the paper published as IEEE Transactions on Industrial Informatics, 2008, 4 (1), pp. 37-46. Copyright ©2008 IEEE. The final version is available from http://ieeexplore.ieee.org/. Doi: 10.1109/TII.2008.916053. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Leicester’s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to pubs-permissions@ieee.org. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.
Appears in Collections:Published Articles, Dept. of Engineering

Files in This Item:
File Description SizeFormat 
AKG - Schd alg - Tii 2007 v76c.pdf230.73 kBAdobe PDFView/Open


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.