Global optimization and verification of cyber-physical systems using floating point math functionality on a system with heterogeneous hardware components
원문보기
IPC분류정보
국가/구분
United States(US) Patent
등록
국제특허분류(IPC7판)
G06F-009/445
G06F-009/45
G06F-011/36
G06F-009/455
G06F-009/44
출원번호
US-0883876
(2015-10-15)
등록번호
US-9652213
(2017-05-16)
발명자
/ 주소
MacCleery, Brian C.
Nagle, James C.
Monroe, J. Marcus
Barp, Alexandre M.
Kodosky, Jeffrey L.
Andrade, Hugo A.
Odom, Brian Keith
Butler, Cary Paul
출원인 / 주소
NATIONAL INSTRUMENTS CORPORATION
대리인 / 주소
Meyertons Hood Kivlin Kowert & Goetzel, P.C.
인용정보
피인용 횟수 :
7인용 특허 :
41
초록▼
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 v
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.
대표청구항▼
1. A system, comprising: a heterogeneous hardware system (HHS) comprising multiple programmable elements; anda 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 syst
1. A system, comprising: a heterogeneous hardware system (HHS) comprising multiple programmable elements; anda 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; anddeploy 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; andwherein 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. 2. The system of claim 1, wherein, after said deployment the HHS is configured to: execute the improved control program to control the physical system;wherein inputs to the improved control program comprise signals from the physical system. 3. The system of claim 1, wherein, after said deployment the HHS is configured to: execute the improved control program to control the physical system;wherein inputs to the improved control program comprise simulated signals from the improved model of the physical system. 4. The system of claim 1, wherein the HHS is implemented on a chip. 5. The system of claim 1, wherein the HHS is implemented on multiple chips. 6. The system of claim 1, wherein the HHS comprises at least one programmable hardware element, at least one digital signal processor (DSP) core, and at least one programmable communication element (PCE). 7. The system of claim 6, wherein the HHS further includes at least one microprocessor. 8. The system of claim 6, wherein the at least one PCE comprises one or more PCEs for internal communications between the at least one programmable hardware element and the at least one DSP core. 9. The system of claim 6, wherein the at least one PCE comprises at least one I/O block for communications between the at least one programmable hardware element or the at least one DSP core and external components or systems. 10. The system of claim 6, wherein the HHS comprises one or more chips, and wherein the at least one PCE is configurable for intra-chip communications or inter-chip communications. 11. The system of claim 1, wherein the HHS includes at least one graphics processing unit (GPU). 12. The system of claim 1, wherein the co-simulation is performed using peer negotiated time steps. 13. The system of claim 1, wherein the program comprises a graphical program. 14. The system of claim 1, wherein the graphical program comprises a graphical data flow program. 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; anddeploying 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. 16. The non-transitory computer accessible memory medium of claim 15, wherein, after said deployment the HHS is configured to: execute the improved control program to control the physical system;wherein inputs to the improved control program comprise signals from the physical system. 17. The non-transitory computer accessible memory medium of claim 15, wherein, after said deployment the HHS is configured to: execute the improved control program to control the physical system;wherein inputs to the improved control program comprise simulated signals from the improved model of the physical system. 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; anddeploying 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. 19. The method of claim 18, further comprising: executing, by the HHS, the improved control program to control the physical system;wherein inputs to the improved control program comprise signals from the physical system. 20. The method of claim 18, further comprising: executing, by the HHS, the improved control program to control the physical system;wherein inputs to the improved control program comprise simulated signals from the improved model of the physical system. 21. A system, comprising: a heterogeneous hardware system (HHS) comprising multiple programmable elements; anda 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; anddeploy 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; andwherein 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. 22. The system of claim 21, wherein to verify the HHS implementation of the program, the program instructions are executable to: execute a simulation of the program on a computer using co-simulation with a trusted model, wherein the simulation simulates the heterogeneous hardware system (HHS) implementation of the program, including simulating behavior and timing of distributed execution of the program on the HHS.
연구과제 타임라인
LOADING...
LOADING...
LOADING...
LOADING...
LOADING...
이 특허에 인용된 특허 (41)
Master, Paul L.; Hogenauer, Eugene; Scheuermann, Walter J., Adaptive integrated circuitry with heterogeneous and reconfigurable matrices of diverse and adaptive computational units having fixed, application specific computational elements.
Jedlicka, David C.; Kodosky, Jeffrey L.; Richardson, Gregory C.; Stanhope, John D., Asynchronous preemptive edit time semantic analysis of a graphical program.
Shah, Mohammed Kamran; Fuller, III, David W; Correll, Jeffrey N.; Sierer, Brian H., Automatically generating a configuration diagram based on task requirements.
Dellas, Christina M.; Neumann, Nicholas G.; Hartadinata, Toga; Hogan, Kevin M., Automatically generating a graphical data flow program from a statechart.
Ramamoorthy, Subramanian; Wenzel, Lothar; Morrow, Gregory O.; Santori, Michael L.; Limroth, John C.; Kudukoli, Ram; Dye, Robert E., Automatically generating a second graphical program based on a first graphical program.
Kodosky, Jeffrey L.; Hogan, Kevin, Conversion of a first diagram having states and transitions to a graphical data flow program using an intermediate XML representation.
Cifra, Christopher G.; Stanhope, John D.; Hudson, III, Duncan G., Developing a graphical data flow program with multiple models of computation in a web browser.
Martinez Canedo, Arquimedes; Hermann, Sven; Wang, Lingyun Max, Efficient execution of human machine interface applications in a heterogeneous multiprocessor environment.
Neumann, Nicholas G.; Hartadinata, Toga; Hogan, Kevin M., Event firing node for asynchronously passing events from a graphical data flow program to a statechart.
Morrow, Gregory O.; Limroth, John C.; Kodosky, Jeffrey L.; Rogers, Steven W.; Hogan, Kevin; Andrade, Hugo A., Graphical programming environment with first model of computation that includes a structure supporting second model of computation.
Kodosky Jeffrey L. (Austin TX) Truchard James J. (Austin TX) MacCrisken John E. (Palo Alto CA), Graphical system for modelling a process and associated method.
Kodosky Jeffrey L. (Austin TX) Truchard James J. (Austin TX) MacCrisken John E. (Palo Alto CA), Graphical system for modelling a process and associated method.
Ghercioiu, Marius; Ceteras, Ciprian; Monoses, Ioan; Crisan, Gratian I.; Kodosky, Jeffrey L., Incremental deployment and execution of a program on an embedded device.
Hsu, Ray; Shah, Mohammed Kamran; Hudson, III, Duncan G.; Guo, Yixin; Fournie, Jonathan P., Merging graphical programs based on an ancestor graphical program.
Kodosky Jeffrey L. (Austin TX) Rogers Steven W. (Austin TX), Method and apparatus for improved local and global variable capabilities in a graphical data flow program.
Rogers Steven W. (Travis County TX) Kodosky Jeffrey L. (Travis County TX) Luick Dean A. (Travis County TX), Method and apparatus for more efficient function synchronization in a data flow program.
Kodosky Jeffrey L. ; McKaskle Greg ; Kay Meg Fletcher, Method and apparatus for providing improved type compatibility and data structure organization in a graphical data flow.
Sierer, Brian; Ranganathan, Ganesh; Pasquarette, John; Fuller, III, David W; Peck, Joseph E.; Novacek, Matthew; Andrade, Hugo A., Network-based system for automatically generating a graphical program based on user supplied measurement task requirements.
Crain, II, Charles E.; Dewhirst, Adam H.; Ortman, Robert L., Synchronizing a loop performed by a measurement device with a measurement and control loop performed by a processor of a host computer.
Kodosky Jeffrey L. ; Andrade Hugo ; Odom Brian K. ; Butler Cary P., System and method for configuring an instrument to perform measurement functions utilizing conversion of graphical programs into hardware implementations.
Chandhoke, Sundeep; Vazquez, Nicolas; Fuller, David W; Cifra, Christopher, System and method for programmatically generating a graphical program based on a sequence of motion control, machine vision, and data acquisition (DAQ) operations.
Davis Donald J. ; Bennett Toby D. ; Harris Jonathan C. ; Miller Ian D. ; Edwards Stephen G., System and method for programming the hardware of field programmable gate arrays (FPGAs) and related reconfiguration resources as if they were software by creating hardware objects.
Nixon, Mark J.; Blevins, Terrence L.; Christensen, Daniel D.; Muston, Paul Richard; Beoughter, Ken J., Collecting and delivering data to a big data machine in a process control system.
Nixon, Mark J.; Blevins, Terrence; Christensen, Daniel Dean; Muston, Paul Richard; Beoughter, Ken, Collecting and delivering data to a big data machine in a process control system.
Zornio, Peter; Nixon, Mark J.; Wojsznis, Wilhelm K.; Lucas, Michael J.; Muston, Paul R.; Rotvold, Eric D.; Blevins, Terrence L.; Law, Gary K., Data pipeline for process control system analytics.
Nixon, Mark J.; Beoughter, Ken J.; Christensen, Daniel D., Method and apparatus for seamless state transfer between user interface devices in a mobile control room.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.