Giotto provides an abstract programmer's model for the implementation of embedded control
systems with hard real-time constraints. A typical control application consists of periodic …

This paper addresses the problem of jointly scheduling tasks with both hard and soft time
constraints. We present a new analysis which builds upon previous research into slack …

Vorwort In der Natur entwickelten sich die Echtzeitsysteme seit einigen 100 Mil Honen
Jahren. Tierische Nervensysteme haben zur Aufgabe, auf die Nachrichten aus der Umwelt …

In many real-time systems relative timing constraints are imposed on a set of tasks.
Generating a correct ordering for the tasks and deriving their proper start-time assignments …

In recent years, the search for proper extensions of the basic object model to suit the hard-
real-time application community has become a critical research issue. We present such an …

Concurrent C, is a parallel superset of C (and of C++) that provides facilities such as
specifying timeouts during process interactions, delaying program execution, accepting …

In this paper, we first characterize distributed real-time systems by the following two
properties that have to be supported: best eflorl and leas2 suffering. Then, we propose a …

We argue that the specification of an object's functional behavior and the timing constraints
imposed on it may be separated. Specifically, we describe RTsynchronizer, a high-level …

Advances in computer gaming technology, digital game design, game engine development,
mobile computing, and mobile software engineering, stimulated active research on …

We present TCEL (time-constrained event language), whose timing semantics is based
solely on the constrained relationships between observable events. Using this semantics …