Performance verification device for verifying performance of program, method, and recording medium having program recorded thereon for causing computer to perform the method

摘要

When generating a source code executed by a multi-core processor in order to verify performance of a control system, a device generates the source code as an object of execution by the multi-core processor from a control model, performs cooperative simulation, and measures an execution time of a program in the multi-core processor in the cooperative simulation.