A real-time refinement calculus that changes only time

  title={A real-time refinement calculus that changes only time},
  author={Mark Utting and Colin Fidge},
The behaviour of a real-time system that interacts repeatedly with its environment is most succinctly specified by its possible traces, or histories. We present a way of using the refinement calculus for developing real-time programs from requirements expressed in this form. Our trace-based specification statements and target language constructs constrain the traces of system variables, rather than updating them destructively like the usual state-machine model. The only variable that is updated… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 23 references

and H

  • D. Scholefield, H. Zedan
  • Jifeng. A specification-oriented semantics for…
  • 1994
Highly Influential
6 Excerpts

Nana—improved support for assertions and logging in C and C++

  • P. J. Maker
  • Technical Report TR-7-95,
  • 1995
2 Excerpts

Networks of predicate transformers

  • B. Mahony
  • Technical Report TR 95-5,
  • 1995
1 Excerpt

On the Refinement Calculus

  • C. Morgan, T. Vickers
  • Springer-Verlag
  • 1994
1 Excerpt

The generic problem competition: A whole system specification of the boiler system

  • C. Millerchip, B. Mahony, I. Hayes
  • D. Del Bel Belluz and H.C. Ratz, editors…
  • 1994

Similar Papers

Loading similar papers…