Knowledge-based man-machine dialogue for object-oriented hardware/software cosimulation

Our objective is to formalize and to implement a multimode hierarchical man-machine dialogue, based on artificial intelligence approach and object-orientation. The object of the dialogue is cosimulation of hardware-software systems, concentrating on the partition. The object-oriented simulation language is aimed to support different hierarchy types, in order to permit learning and planning. The simulation goal is either design or verification. Therefore, we build an object-oriented knowledge-based simulation framework, open to user-defined models, as well as to integration of new simulation operators, trying to represent hierarchical design and verification strategies. Further, we intend to extend this to symbolic approach and to multimode dialogue. These developments will enable to design an integrated programmable system for man-machine dialogue regarding simulation of hard-soft systems.