A Clock-independent Model for Real-Time

F. Rößler, R. Gotzhein

SFB 501 Report 18/1996


A new approach for modelling time that does not rely on the concept of a clock is proposed. In order to establish a notion of time, system behaviour is represented as a joint progression of multiple threads of control, which satisfies a certain set of axioms. We show that the clock-independent time model is related to the well-known concept of a global clock and argue that both approaches establish the same notion of time.

Full paper


Go to the contact details of the person in charge of this page

This page in german. Diese Seite auf deutsch.