发明授权
- 专利标题: Model based verification using intelligent connectors
- 专利标题(中): 使用智能连接器进行型号验证
-
申请号: US13302632申请日: 2011-11-22
-
公开(公告)号: US09020796B2公开(公告)日: 2015-04-28
- 发明人: Carlo Amalfitano , Timothy Stockton , Christopher Marot
- 申请人: Carlo Amalfitano , Timothy Stockton , Christopher Marot
- 申请人地址: US FL Indialantic
- 专利权人: Certon Software Inc.
- 当前专利权人: Certon Software Inc.
- 当前专利权人地址: US FL Indialantic
- 代理机构: Hamilton, Brook, Smith & Reynolds, P.C.
- 主分类号: G06F17/50
- IPC分类号: G06F17/50 ; G06F11/36
摘要:
The described embodiments concern verifying operation of a device, where the device may have one or more inputs and/or one or more outputs. At least one input and/or output is associated with an intelligent connector. An intelligent connector is a combination of a signal transport path and a data structure. The signal transport path may be electrical conductors leading to the device or a physical connector associated with the device. The data structure contains the name of a variable transported by the associated physical connector, an address of the variable itself as a value in memory, and further information of a source device that produces the variable, at least in the form of address or pointer to the source device data structure and the addresses of all destination devices that consume the variable.
公开/授权文献
- US20120191443A1 MODEL BASED VERIFICATION USING INTELLIGENT CONNECTORS 公开/授权日:2012-07-26
信息查询