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.

• Type: Conference
• Year: 2010
• Where: JTRES
• Authors: Anders P. Ravn, Martin Schoeberl
• Keywords: Embedded Systems, JTRES 2010, Low Cost, Optimal Schedules, Real-time Systems