Constraint-based functional design verification for conceptual design

In the early stages of mechanical product design, designers not only need to determine the physical structure of the design, but also need to verify that the design functions properly with the allowable values or ranges of values of the relevant design attributes. Existing work on design verification is either aimed at specific design problems, which are generally carried out at the downstream design stages, or aimed at deriving design behavior using a behavioral simulation approach. Functional design verification has largely been neglected by the research society. To tackle this problem, we propose a generic constraint-based approach that is based on a comprehensive functional design model. A number of strategies are proposed for the approach, including strategies for design variables reduction, variable dependency graph development, constraint propagation, and dynamic verification of a design over an assigned set of attributes (variables). The approach is implemented as part of a functional modeling design environment. A simple design verification case is presented to illustrate our approach.