Computer Guided Model Checking System and Method
AssigneeSolibri, Inc.
InventorsHeikki Antero Kulusjarvi, Anupam Arohi, Pasi Tuomo Paasiala
Life of this patent
Estimating the term…
Abstract
A semi-automatic information filling system and method for a model checking system is disclosed. The information filling system and method identifies missing information in a computer-generated model that is a digital representation of a physical object. The information filling system and method is particularly useful in connection with a rules-based model checking system for a building information modeling (BIM) model.
Claims9
A model checking system for checking a computer-generated model representing a physical object comprising:
- a. a rules set manager module containing a pre-established rules set that specifies requirements for the physical object;
- b. a model information manager module that compares the rules set to the computer-generated model and identifies information missing from the computer-generated model;
- c. a task list manager module for receiving the identify missing information from the model information manager module and creating a task list listing the missing information from the computer-generated model.
A model checking method for checking a computer-generated model representing a physical object, the method comprising the steps of:
- a. providing the computer-generated model;
- b. selecting a pre-established rules set that specifies requirements for the physical object;
- c. comparing the rules set to the computer-generated model to identify information missing from the computer-generated model;
- and
- d. generating a task list listing the information missing from the computer-generated model.
Dependencies are inferred from the claim text.