Skip Navigation

The Computer Journal 1997 40(10):617-629; doi:10.1093/comjnl/40.10.617
© 1997 by British Computer Society
This Article
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Similar articles in ISI Web of Science
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrow Search for citing articles in:
ISI Web of Science (1)
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Morris, D.
Right arrow Articles by Schofield, S.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

Simulating the Behaviour of Computer Systems: Co-simulation of Hardware/Software

D. Morris1, D. G. Evans2 and S. Schofield3

1 Late of the Department of Computation, UMIST, PO Box 88, Manchester, M60 1QD, 2 Computer System Design Group, Department of Computation, UMIST, PO Box 88, Manchester, M60 1QD Email: D.G.Evans{at}umist.ac.uk, 3 Previously of Department of Computation, UMIST, PO Box 88, Manchester, M60 1QD

This paper discusses the validation, by simulation, of Behavioural Models of computer systems that are developed as part of a whole lifecycle approach to product development (model-based object oriented systems engineering (MOOSE)). The paper summarizes the MOOSE approach and introduces its notation for defining Behavioural Models, which are logical models of a system, uncommitted to hardware or software implementation. In the MOOSE approach, a Behavioural Model is transformed into a Committed Model of the system that identifies the hardware and software components that make up the system's implementation. This paper concentrates on the dynamics of these models, viewed both as paper models and as executing simulations. It considers the validation techniques that can be employed for both types of model and discusses the design of the software necessary to support the executable simulations. The paper is illustrated by an example model of a video controller system.

Received July 26, 1995. revised November 17, 1997.


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?




Disclaimer:
Please note that abstracts for content published before 1996 were created through digital scanning and may therefore not exactly replicate the text of the original print issues. All efforts have been made to ensure accuracy, but the Publisher will not be held responsible for any remaining inaccuracies. If you require any further clarification, please contact our Customer Services Department.