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.