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: http://dx.doi.org/10.1007/978-1-4615-2303-1_7
Google Scholar: Look up in Google Scholar

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.

Item Type: Journal Article
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/Department: Mathematics, Computing and Technology > Mathematics and Statistics
Item ID: 31535
Depositing User: Camilla Jordan
Date Deposited: 10 Feb 2012 15:26
Last Modified: 10 Feb 2012 15:26
URI: http://oro.open.ac.uk/id/eprint/31535
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk