Design of real-time systems: from requirements to programs

Ernst-Rudiger Olderog

(University of Oldenburg)

We present a transformational approach to the design of real-time systems. The design starts from requirements formulated in a subset of Duration Calculus called "implementables" and aims at timed OCCAM-like programs. While Duration Caculus is state-based, OCCAM is event-based. To bridge this gap, an intermediate specification language SL is used. The approach is illustrated by the example of a computer-controlled gas burner.
Friday 10th February 1995, 14:30
Seminar Room 322
Department of Computer Science