Inferring system-level properties
US8195599B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Feb 20, 2009 |
| Grant date | Jun 5, 2012 |
| Priority date | — |
| Expiry date | Dec 8, 2030 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG05B17/02
- WIPO fieldControl
- WIPO sectorInstruments
Abstract
The present disclosure includes methods, devices, and systems for inferring system-level properties. One or more embodiments include generating a constraint model based on a system model having a number of components at different levels of abstraction and on a number of verified component properties. The constraint model can include a number of mission constraints modeling one or more mission requirements, a number of system constraints modeling one or more system-level properties, mid a number of component constraints modeling one or more component properties. One or more embodiments can include analyzing the constraint model with a constraint solver to determine whether one or more particular system-level properties can be inferred from the constraint model.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.