Simulation apparatus, simulation method, and program

A simulation method for performing parallel execution of multiple logical processes obtained by modeling a plurality of components included in a system to be simulated, the simulation method comprising:

• generating, on the basis of communication delays between the multiple logical processes:
• (i) constraint conditions to be satisfied by initial time shifts given to the multiple logical processes, and (ii) look-ahead times, with each look-ahead time corresponding to a time interval to be permitted for look-ahead processing by a message sent from a logical process serving as a communication source to a logical process serving as a communication destination;
• solving an optimization problem satisfying the constraint conditions and minimizing overhead in communication of messages between the multiple logical processes;
• obtaining the initial time shifts of the multiple logical processes;
• and
• obtaining the look-ahead times between the multiple logical processes.

A computer program product for performing parallel execution of multiple logical processes obtained by modeling a plurality of components included in a system to be simulated, the computer program product comprising a computer readable storage medium having stored thereon:

• first program instructions programmed to generate, on the basis of communication delays between the multiple logical processes:
• (i) constraint conditions to be satisfied by initial time shifts given to the multiple logical processes, and (ii) look-ahead times, with each look-ahead time corresponding to a time interval to be permitted for look-ahead processing by a message sent from a logical process serving as a communication source to a logical process serving as a communication destination;
• second program instructions programmed to solve an optimization problem satisfying the constraint conditions and minimizing overhead in communication of messages between the multiple logical processes;
• third program instructions programmed to obtain the initial time shifts of the multiple logical processes;
• and
• fourth program instructions programmed to obtain the look-ahead times between the multiple logical processes.