TY - JOUR

T1 - Safety-critical Java with cyclic executives on chip-multiprocessors

A1 - Ravn,Anders P.

A1 - Schoeberl,Martin

AU - Ravn,Anders P.

AU - Schoeberl,Martin

PB - John/Wiley & Sons Ltd.

PY - 2012

Y1 - 2012

N2 - 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. Mutual exclusion to access shared resources is guaranteed by including access constraints in the schedule generation. To evaluate the proposed cyclic executive for multiprocessors, we have implemented it in the context of safety-critical Java on a Java processor.

AB - 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. Mutual exclusion to access shared resources is guaranteed by including access constraints in the schedule generation. To evaluate the proposed cyclic executive for multiprocessors, we have implemented it in the context of safety-critical Java on a Java processor.

KW - Real-time systems

KW - Java

KW - Cyclic executive

U2 - 10.1002/cpe.1754

DO - 10.1002/cpe.1754

JO - Concurrency and Computation: Practice & Experience

JF - Concurrency and Computation: Practice & Experience

SN - 1532-0626

IS - 8

VL - 24

SP - 772

EP - 788

ER -