Abstract: Provided is a simulation technique that allows the program verification to be more efficiently performed. A simulation system includes: a simulator that executes simulation of an operation of one or more devices; a data input unit that obtains one or more execution times in the simulation, positional information of each one of objects in the simulation, and a value of each one of one or more variables referred to by a program to operate the devices; a data recorder that stores, as a first log, positional information of the objects and value of the variables for each of the one or more execution times in a manner that positional information and value are associated with each other; and a displayer that displays positional information of the objects and value of the variables for each of the one or more execution times included in first log.

Abstract: A computer-implemented method including determining a group to which a first object belongs and a group to which a second object belongs, executing a simulation including the first object and the second object, executing a collision determination between the first object and the second object during execution of the simulation, and changing the group to which the first object belongs when a predetermined condition is satisfied. The collision determination is executed only when the group to which the first object belongs is different from the group to which the second object belongs.

Abstract: Provided is a simulation technique that allows the program verification to be more efficiently performed. A simulation system includes: a simulator that executes simulation of an operation of one or more devices; a data input unit that obtains one or more execution times in the simulation, positional information of each one of objects in the simulation, and a value of each one of one or more variables referred to by a program to operate the devices; a data recorder that stores, as a first log, positional information of the objects and value of the variables for each of the one or more execution times in a manner that positional information and value are associated with each other; and a displayer that displays positional information of the objects and value of the variables for each of the one or more execution times included in first log.

Abstract: Provided is a simulation technique that allows the program verification to be more efficiently performed. The simulation system includes a memory that stores a program to control one or more devices; a processor that executes simulation of an operation of the one or more devices enabled by the program; and a display that displays a simulation screen. The simulation screen includes a display of a three-dimensional (3D) space for display of a position of the one or more devices in the 3D space, and a display of a value of one or more variables referred to by the program. The simulation screen updates, for each step of the program, the display of the 3D space and the display of the value of the one or more variables.

Abstract: Provided is a technique that enables simulation of an assembly in which unprepared components are combined. A simulation system includes a storage that stores data for use in a simulation, and a controller that executes the simulation. The controller receives an operation input for registration of a first component and a second component, receives an operation input for setting of an operation of an assembly including the first and second components, generates a program to operate the assembly on the basis of information on operations of the assembly, the first component, and the second component, and stores the program and the information on the operations of the assembly, the first component, and the second component in the storage as the data tor use in the simulation.

Abstract: A stress generated in each of a plurality of components is calculated during simulation using a machine including these components. A simulation device includes a storage that stores assembly data of a machine including a plurality of components and a program for control of a driver connected to machine, and a controller configured to execute a simulation of machine. The controller causes driver to operate in the simulation and calculates a stress generated in each of the plurality of components in the simulation in response to driver being driven.