DYANA: An Environment for Embedded System Design and Analysis

Authors:
A. G. Bakhmurov;A. P. Kapitonova;R. L. Smeliansky
Affiliations:
-;-;-
Venue:
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Year:
1999

Citing 3
Cited 3

Defining requirements for a standard simulation environment

Computer
Using the SimOS machine simulator to study complex computer systems

ACM Transactions on Modeling and Computer Simulation (TOMACS)
The next 10,0002 years. I

Computer

Integrated environment for the analysis and design of distributed real-time embedded computing systems

Programming and Computing Software
Problems of instrumental support for the development of distributed embedded real-time systems

Programming and Computing Software
Model of distributed computing system operation with time

Programming and Computing Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

The results presented here are based on the experience of development and application of DYANA - an environment for analysis of multiprocessor computer systems operation. The architecture and basic features of such an environments are discussed. Main problems of such the environment design are highlighted and possible solutions are shown. The key features of the DYANA environment are: the possibility of both quantitative and algorithmic analysis of system to be modeled; the time complexity estimation subsystem which helps to avoid the instruction-level simulation of target computer system; support of program development through simulation.