Please use this identifier to cite or link to this item:
|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.
|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.|
|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:
|AKG_safecomp2008_TTSA2_v20.pdf||210.44 kB||Adobe PDF||View/Open|
Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.