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.

DOI: https://doi.org/10.1007/978-1-4615-2303-1_7

Abstract

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

Metrics

Item Actions

Export

You can export this page using these formats Digital Object Identifier - DOI