Using an X-machine to model a video cassette recorder

Fairtlough, Matt; Holcombe, Mike; Ipate, Florentin; Jordan, Camilla; Laycock, Gilbert and Duan, Zhenhua (1995). Using an X-machine to model a video cassette recorder. Current issues in Electronic Modelling, 3 pp. 141–161.



The problem of constructing a simple formal specification of a dynamic, time dependent system is addressed here. We use an intuitive state machine model which can be developed in a series of stages, each successive refinement adding new features and addressing new issues related to the design of the specification. The model used is fully general, unlike traditional state machine models, and can be supported by a test generation method that will provide a basis for an integrated design for the test specification method. The case study is the specification of a video cassette recorder system which is defined in a formal way with the minimum of mathematical notation.

Viewing alternatives


Public Attention

Altmetrics from Altmetric

Number of Citations

Citations from Dimensions
No digital document available to download for this item

Item Actions