Sciweavers

26
Voted
JTRES
2010
ACM

Cyclic executive for safety-critical Java on chip-multiprocessors

13 years 7 months ago
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.
Anders P. Ravn, Martin Schoeberl
Added 06 Dec 2010
Updated 06 Dec 2010
Type Conference
Year 2010
Where JTRES
Authors Anders P. Ravn, Martin Schoeberl
Comments (0)