ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY
Volume 3, Number 1, 2000, 243 - 256

Hierarchical Behavioral Adaptable Simulation

Tudor Niculiu, Dragos Burileanu,
Anca Manolescu, Anton Manolescu

"Politehnica" University of Bucharest, Romania
Faculty of Electronics and Telecommunicatons
Splaiul Independentei 313, 77206, Bucharest, Romania
E-mail: tudor@mESsnet.pub.ro

Abstract.
Competent design of complex (e.g., hardware/software) systems needs the convergence of three concurrent research directions: the study of hierarchy types, the intelligent communication between different domains, the integration of design and verification/ test. We aim to extend the theory of hierarchy types, in order to integrate communication properties as well as correctness and testability, to suit the behavioral specification of today?s complex system design. The high level approach of these problems permits the intervention of an integrated intelligent component of the simulation (design/ verification/ test) system, for adapting techniques, models or methods to the particular design.

Keywords:
Hierarchical, Adaptable, Behavioral, Structural, Object-oriented, Intelligent, Cosimulation.