Global optimization and verification of cyber-physical systems using floating point math functionality on a system with heterogeneous hardware components
First Claim
1. A system, comprising:
- a heterogeneous hardware system (HHS) comprising multiple programmable elements; and
a memory medium that stores program instructions executable to;
store a program, wherein the program comprises floating point implementations of;
a control program, a model of a physical system, an objective function, a requirements verification program, and a global optimizer;
execute a simulation of the program on a computer using co-simulation with a trusted model, wherein the simulation simulates a heterogeneous hardware system (HHS) implementation of the program, including simulating behavior and timing of distributed execution of the program on the HHS, wherein said executing includes verifying the HHS implementation of the program using the requirements verification program; and
deploy the program on the HHS, wherein the HHS is configured to execute the control program and the model of the physical system concurrently in a distributed manner;
wherein, after said deploying the HHS is configured to;
globally improve the control program and the model of the physical system executing on the HHS in accordance with the objective function and requirements via the global optimizer; and
wherein the improved model of the physical system is usable to construct the physical system, and wherein the improved control program is executable on the HHS to control the physical system.
5 Assignments
0 Petitions
Accused Products
Abstract
Global optimization and verification of cyber-physical systems using graphical floating point math functionality on a heterogeneous hardware system (HHS). A program includes floating point implementations of a control program (CP), model of a physical system (MPS), objective function, requirements verification program (RVP), and/or global optimizer. A simulation simulates HHS implementation of the program using co-simulation with a trusted model, including simulating behavior and timing of distributed execution of the program on the HHS, and may verify the HHS implementation using the RVP. The HHS is configured to execute the CP and MPS concurrently in a distributed manner. After deploying the program to the HHS, the HHS is configured to globally optimize (improve) the CP and MPS executing concurrently on the HHS via the global optimizer. The optimized MPS may be usable to construct the physical system. The optimized CP may be executable on the HHS to control the physical system.
-
Citations
22 Claims
-
1. A system, comprising:
-
a heterogeneous hardware system (HHS) comprising multiple programmable elements; and a memory medium that stores program instructions executable to; store a program, wherein the program comprises floating point implementations of;
a control program, a model of a physical system, an objective function, a requirements verification program, and a global optimizer;execute a simulation of the program on a computer using co-simulation with a trusted model, wherein the simulation simulates a heterogeneous hardware system (HHS) implementation of the program, including simulating behavior and timing of distributed execution of the program on the HHS, wherein said executing includes verifying the HHS implementation of the program using the requirements verification program; and deploy the program on the HHS, wherein the HHS is configured to execute the control program and the model of the physical system concurrently in a distributed manner; wherein, after said deploying the HHS is configured to; globally improve the control program and the model of the physical system executing on the HHS in accordance with the objective function and requirements via the global optimizer; and wherein the improved model of the physical system is usable to construct the physical system, and wherein the improved control program is executable on the HHS to control the physical system. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14)
-
-
15. A non-transitory computer accessible memory medium that stores program instructions executable by a processor to implement:
-
storing a program, wherein the program comprises floating point implementations of;
a control program, a model of a physical system, an objective function, a requirements verification program, and a global optimizer;executing a simulation of the program on a computer using co-simulation with a trusted model, wherein the simulation simulates a heterogeneous hardware system (HHS) implementation of the program, including simulating behavior and timing of distributed execution of the program on the HHS, wherein said executing includes verifying the HHS implementation of the program using the requirements verification program; and deploying the program on the HHS, wherein said deploying configures the HHS to globally improve the control program and the model of the physical system executing concurrently on the HHS via the global optimizer; wherein the improved model of the physical system is usable to construct the physical system, and wherein the improved control program is executable on the HHS to control the physical system. - View Dependent Claims (16, 17)
-
-
18. A method, comprising:
-
storing a program, wherein the program comprises floating point implementations of;
a control program, a model of a physical system, an objective function, a requirements verification program, and a global optimizer;executing a simulation of the program on a computer using co-simulation with a trusted model, wherein the simulation simulates a heterogeneous hardware system (HHS) implementation of the program, including simulating behavior and timing of distributed execution of the program on the HHS, wherein said executing includes verifying the HHS implementation of the program using the requirements verification program; and deploying the program on the HHS, wherein said deploying configures the HHS to globally improve the control program and the model of the physical system executing concurrently on the HHS via the global optimizer; wherein the improved model of the physical system is usable to construct the physical system, and wherein the improved control program is executable on the HHS to control the physical system. - View Dependent Claims (19, 20)
-
-
21. A system, comprising:
-
a heterogeneous hardware system (HHS) comprising multiple programmable elements; and a memory medium that stores program instructions executable to; store a program, wherein the program comprises floating point implementations of;
a control program, a model of a physical system, an objective function, a requirements verification program, and a global optimizer;verify an HHS implementation of the program via the requirements verification program; and deploy the program on the HHS, wherein the HHS is configured to execute the control program and the model of the physical system concurrently in a distributed manner; wherein, after said deploying the HHS is configured to; globally improve the control program and the model of the physical system executing on the HHS in accordance with the objective function and requirements via the global optimizer; and wherein the improved model of the physical system is usable to construct the physical system, and wherein the improved control program is executable on the HHS to control the physical system. - View Dependent Claims (22)
-
Specification