DYANA: an environment for embedded system design and analysis

The results presented are based on many years of experience of development and application of DYANA-an environment for the analysis of multiprocessor computer system operation. The architecture and basic features of such an environment are discussed. The main problems arising during such an environment´s 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 the system to be modeled; the time complexity estimation subsystem which helps to avoid instruction-level simulation of the target computer system; and support of program development through simulation