Conference paper
Cyclic executive for safety-critical Java on chip-multiprocessors
Chip-multiprocessors offer increased processing power at a low cost. However, in order to use them for real-time systems, tasks have to be scheduled efficiently and predictably. It is well-known that finding optimal schedules is a computationally hard problem. In this paper, we present a solution, that uses model checking to find a static schedule, if one exists at all, which gives an implementation of a table driven multiprocessor scheduler.
To evaluate the proposed cyclic executive for multiprocessors we have implemented it in the context of safety-critical Java on a Java processor.
Language: | English |
---|---|
Publisher: | ACM |
Year: | 2010 |
Pages: | 63-69 |
Proceedings: | 8th International Workshop on Java Technologies for Real-time and Embedded Systems |
ISBN: | 1450301223 and 9781450301220 |
Types: | Conference paper |
DOI: | 10.1145/1850771.1850779 |
ORCIDs: | Schoeberl, Martin |