Specification and refinement of a real-time control system (1999) [1 citations — 0 self]
Download:
|
|
by Graeme Smith
In Australian Computer Science Conference'99-Australian Computer Science Communications, number 1 in 21
http://www.itee.uq.edu.au/~smith/papers/acsc99.ps.gz
Add To MetaCart
Abstract:
Abstract. A number of timed-trace formalisms, where systems are modelled by time-varying functions, have been proposed for the formal development of real-time systems. In this paper, we illustrate one such approach via the specification and refinement of the well-known Steam Boiler Control Problem. The case study illustrates the use of a timedtrace formalism to specify deadlines and other timing constraints, to refine system timing constraints into timing constraints of individual components, and to introduce internal timing constraints during system refinement. 1
