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.
This work is partially supported by the Russian Fund of Basic research, Grant No. 98-01-00151 and by the EEC INCO-Copernicus Grant No 977020
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
R. L. Smeliansky, Yu.P. Kazakov, Yu.V. Bakalov, The combined approach to the distributed computer system simulation, in Proc Conference on Parallel Computing Technologies, Novosibirsk, Scientific Centre, Sept. 1991.
A. P. Kapitonova, I. A. Terehov, R. L. Smeliansky, The instrumental system for estimation of computational complexity in programs, MSU Press, Moscow 1991 (in Russian).
R. L. Smeliansky, Program behavior invariant as the basis for system performance estimation, in Proc Conference on Parallel Computing Technologies, Obninsk, Russia, Sept. 1993.
R. L. Smeliansky, Distributed computer system operation model, Moscow University Computational Mathematics and Cybernetics, 3(1990), p. 4–16.
Yu. Bakalov, R. Smeliansky, M 2-SPEC: A Language for Distributed Program Behaviour Specification. Proc. of PARCELLA-96 Berlin, 1996.
B. Selic, G. Gullelson, J. McGee, and I. Engelberg, “ROOM: An Object-Oriented Methodology for Developing Real-Time Systems”, in Proc. 5th International Workshop on CASE, Montreal, Canada, 1992.
T. Lewis, The next 10,0002 years. Computer, April, 1996, pp.64–71
O. Tanir, S. Sevinc, Defining Reguirements for a Standart Simulation Environment. Computer, February, 1994, pp.28–34.
M. Rosenblum et. al., Using the SimOS Machine Simulator to Study Complex Computer Systems. ACM Trans. on Modelling and Computer Simulation, V. 7, No. 1, January 1997, P.78–103
Telelogic home page http://www.telelogic.se/
Ptolemy project home page http://ptolemy.eecs.berkeley.edu
Y. Kazakov, R. Smeliansky, Organization of synchronization algorithms in distributed simulation, in Proc. of 2nd Russian-Turkish seminar ‘New High Information Technologies’, May 9-12, 1994, Gebre, Turkey.
ObjecTime Limited home page, http://www.objectime.com
V. V. Balashov, A. P. Kapitonova, V. A. Kostenko, R. L. Smeliansky, N. V. Youshchenko, Modelling of digital signal processors based on the static-dynamic approach, in Proc. of the 1st International Conference “Digital Signal Processing and its Applications”, June, 30th — July, 3rd, 1998, Moscow.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bakhmurov, A.G., Kapitonova, A.P., Smeliansky, R.L. (2001). DYANA: An Environment for Embedded System Design and Analysis. In: Cleaveland, W.R. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 1999. Lecture Notes in Computer Science, vol 1579. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49059-0_27
Download citation
DOI: https://doi.org/10.1007/3-540-49059-0_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65703-3
Online ISBN: 978-3-540-49059-3
eBook Packages: Springer Book Archive