The Open UniversitySkip to content

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 (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


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.

Item Type: Journal Item
Copyright Holders: 1995 Kluwer Academic Publishers
ISSN: 1381-3951
Extra Information: High-Level System Modeling: Specification Languages
Edited by Jean-Michel Berge, Oz Levia, and Jacques Rouillard
Kluwer Academic Publishers, 1995
ISBN 0-7923-9632-4
Academic Unit/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Mathematics and Statistics
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Item ID: 31535
Depositing User: Camilla Jordan
Date Deposited: 10 Feb 2012 15:26
Last Modified: 04 Oct 2016 11:12
Share this page:


Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU