The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jun. 05, 2012
Filed:
Feb. 20, 2009
Mark S. Boddy, St. Paul, MN (US);
Hazel S. Shackleton, Minneapolis, MN (US);
Todd P. Carpenter, St. Paul, MN (US);
Kyle S. Nelson, Minneapolis, MN (US);
Mark S. Boddy, St. Paul, MN (US);
Hazel S. Shackleton, Minneapolis, MN (US);
Todd P. Carpenter, St. Paul, MN (US);
Kyle S. Nelson, Minneapolis, MN (US);
Adventium Enterprises, Minneapolis, MN (US);
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.