Ravn, Anders P.

Schoeberl, Martin

Crossref

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.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

Ravn, A.P.

Cyclic executive for safety-critical Java on chip-multiprocessor

Online Research Database In Technology

http://orbit.dtu.dk/ws/files/4653241/cmpce.pdf

Cyclic executive for safety-critical Java on chip-multiprocessors

Abstract

Similar works

Full text

Available Versions

Crossref

VBN

Online Research Database In Technology