𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A C++ Simulator Generator from Graphical Specifications

✍ Scribed by VIVEK K. SHANBHAG; K. GOPINATH


Book ID
101239636
Publisher
John Wiley and Sons
Year
1997
Tongue
English
Weight
381 KB
Volume
27
Category
Article
ISSN
0038-0644

No coin nor oath required. For personal study only.

✦ Synopsis


Many languages for computer systems simulation (like GPSS and CSim) use a stochastic model of systems with the provision of adding procedural code for those aspects of the system that cannot be captured easily by a stochastic model. However, they do not support the hierachical simulation of complex systems well. Complex computer systems may have to be simulated at various levels of abstraction in the interests of tractability: the flexibility of being able to freely move between the different levels of abstraction is very desirable. For example, in the area of computer architecture, one might have analytical models, detailed simulation models and trace-driven models. In addition, these languages do not have user-friendly interfaces for specification of the simulated system. In this paper, we discuss the design and implementation of a simulation package for hierachical simulation of non-real-time computer systems: a Simulator Generator from a Graphical System Specification (SIGGSYS). A new language for system specification has been designed. In addition, the package has the following components:

A graphical user interface to aid specification of the system to be simulated. A rear end that generates C++ code that implements a simulator for the specified system. A complete object library along with the header files that implement a functionally complete set of C++ base classes which can be built upon.

C++ has been chosen as the intermediate language so that the modeller can use its support for object oriented programming. Β©1997 John Wiley & Sons, Ltd.


πŸ“œ SIMILAR VOLUMES


Generating graphical applications from s
✍ GIUSEPPE DELLA PENNA; BENEDETTO INTRIGILA; SERGIO OREFICE πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 821 KB

In graphical applications, visual representations are mostly used in an ad hoc fashion with little or no underlying formal support. Due to this, no common methodology for handling visual and diagrammatic representations has emerged and formal techniques for their support are underdeveloped. Usually,

Deriving Liveness Goals from Temporal Lo
✍ C. CALEIRO; G. SAAKE; A. SERNADAS πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 729 KB

A propositional temporal logic is briefly introduced and its use for reactive systems specification is motivated and illustrated. G-automata are proposed as a new operational semantics domain designed to cope with fairness/liveness properties. G-automata are a class of labelled transition systems wi