Back to results
US 10,372,422 B2Granted
Performance verification device for verifying performance of program, method, and recording medium having program recorded thereon for causing computer to perform the method
AssigneeRensas Electronics Corporation
InventorsRika Ono, Koichi Sato
Life of this patent
Estimating the term…
Abstract
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.
Claims15
A performance verification device for generating a C source code for verifying performance of a control system, the performance verification device comprising:
- a display device;
- and
- a processor device,
- wherein the processor device is configured to:
- select a code generation range as an object of simulation of a program to be executed in a multi-core processor, from a model of a control system displayed on the display device,
- accept designation of a plurality of parallel executable units as an object of a parallel process out of a plurality of processes included in the code generation range,
- associate each of the parallel executable units with a corresponding one of cores included in the multi-core processor,
- designate a sequence of execution of each of the associated parallel executable units, and synchronization between the cores,
- generate the C source code as an object of execution by the multi-core processor, based on each of the associated parallel executable units and the sequence of execution,
- execute the generated C source code in the multi-core processor, and communicate with the multi-core processor in order to perform cooperative simulation with a plant model, executed in a model simulator, and
- measure an execution time of the program executed in the multi-core processor in the cooperative simulation;
- and
- wherein the plant model includes a sensor and an actuator, and
- wherein the processor device is configured to determine, based on the execution time, whether or not the program has been able to be performed during a period of time from the input to the sensor to the output of a control value to the actuator.
11 more elements
A method for causing a computer to generate a C source code for verifying performance of a control system, the method comprising:
- accepting selection of a code generation range as an object of simulation of a program to be executed in a multi-core processor, from a model of a control system;
- accepting designation of a plurality of parallel executable units as an object of a parallel process out of a plurality of processes included in the code generation range;
- associating each of the parallel executable units with a corresponding one of cores included in the multi-core processor;
- designating a sequence of execution of each of the associated parallel executable units, and synchronization between the cores;
- generating the C source code as an object of execution by the multi-core processor, based on each of the associated parallel executable units and the sequence of execution;
- executing the generated C source code in the multi-core processor, and communicating with the multi-core processor in order to perform cooperative simulation with a plant model, executed in a model simulator;
- measuring an execution time of the program executed in the multi-core processor in the cooperative simulation;
- and
- wherein the plant model includes a sensor and an actuator,
- wherein the method further comprises:
- determining, based on the execution time, whether or not the program has been able to be performed during a period of time from the input to the sensor to the output of a control value to the actuator.
8 more elements
A machine-readable recording medium having a program recorded thereon in a non-transitory manner, the program for causing a computer to perform a method for generating a C source code for verifying performance of a control system,
- the program causing the computer to perform:
- accepting selection of a code generation range as an object of simulation of a program to be executed in a multi-core processor, from a model of a control system,
- accepting designation of a plurality of parallel executable units as an object of a parallel process out of a plurality of processes included in the code generation range,
- associating each of the parallel executable units with a corresponding one of cores included in the multi-core processor,
- designating a sequence of execution of each of the associated parallel executable units, and synchronization between the cores,
- generating the C source code as an object of execution by the multi-core processor, based on each of the associated parallel executable units and the sequence of execution,
- executing the generated C source code in the multi-core processor, and communicating with the multi-core processor in order to perform cooperative simulation with a plant model, executed in a model simulator, and
- measuring an execution time of the program executed in the multi-core processor in the cooperative simulation;
- and
- wherein the plant model includes a sensor and an actuator, and
- wherein the program further causes the computer to perform:
- determining, based on the execution time, whether or not the program has been able to be performed during a period of time from the input to the sensor to the output of a control value to the actuator.
9 more elements
Dependencies are inferred from the claim text.