Automating the processes of selecting an appropriate scheduling algorithm and configuring the scheduler implementation for time-triggered embedded systems
posted on 2009-03-19, 11:22authored byAyman K. Gendy, Michael J. Pont
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.
History
Citation
Lecture Notes In Computer Science, 2008, 5219, pp. 440 - 453.
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.