Formal Representation of Product Design Specifications for Validating Product Designs

摘要

Large scale distributed design projects increasingly result in designs that do not fully conform to the stated design goals or specifications. Hence, there is a need to validate these designs against various requirements. For projects with a large set of requirements and design features, this can be difficult to do manually. Formalizing the representation of requirements and the design solution will allow software tools to be developed that can automate the validation process. In this report, we propose a formal approach for relating product requirements to the design solution of electro-mechanical products. First, we present a formal model for representing product requirements. Then, we introduce the Core Product Model (CPM) and the Open Assembly Model (OAM) for representing the design solution. Finally, we link these models formally and provide an example with an actual consumer device.