Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/4321
Title: Automating the processes of selecting an appropriate scheduling algorithm and configuring the scheduler implementation for time-triggered embedded systems
Authors: Gendy, Ayman K.
Pont, Michael J.
First Published: 2008
Publisher: Springer Verlag.
Citation: Lecture Notes In Computer Science, 2008, 5219, pp. 440 - 453.
Abstract: Predictable system behaviour is a necessary (but not sufficient) condition when creating safety-critical and safety-related embedded systems. At the heart of such systems there is usually a form of scheduler: the use of time-triggered schedulers is of particular concern in this paper. It has been demonstrated in previous studies that the problem of determining the task parameters for such a scheduler is NP-hard. We have previously described an algorithm (“TTSA1”) which is intended to address this problem. This paper describes an extended version of this algorithm (“TTSA2”) which employs task segmentation to increase schedulability. We show that the TTSA2 algorithm is highly efficient when compared with alternative “branch and bound” search schemes.
DOI Link: 10.1007/978-3-540-87698-4_36
ISSN: 0302-9743
Links: http://link.springer.com/chapter/10.1007%2F978-3-540-87698-4_36
http://hdl.handle.net/2381/4321
Type: Conference paper
Description: This is the author’s final draft of the conference paper given at Proceedings of the 27th international conference on Computer Safety, Reliability, and Security 2008, published as Lecture Notes In Computer Science, 2008, 5219, pp. 440 - 453. The final published version is available at http://www.springerlink.com/home, Doi: 10.1007/978-3-540-87698-4_36.
Appears in Collections:Conference Papers & Presentations, Dept. of Engineering

Files in This Item:
File Description SizeFormat 
AKG_safecomp2008_TTSA2_v20.pdf210.44 kBAdobe PDFView/Open


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