NIST logo

Publication Citation: Formal Representation of Product Design Specifications for Validating Product Designs

NIST Authors in Bold

Author(s): Alex Weissman; Satyandra K. Gupta; Xenia Fiorentini; Rachuri Rachuri; Ram D. Sriram;
Title: Formal Representation of Product Design Specifications for Validating Product Designs
Published: August 27, 2009
Abstract: 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. 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.
Citation: NIST Interagency/Internal Report (NISTIR) - 7626
Keywords: product design; Core Product Model; CPM; Open Assembly Model; OAM
Research Areas: Systems Integration, Ontologies
PDF version: PDF Document Click here to retrieve PDF version of paper (488KB)