Formal Representation of Product Design Specifications for Validating Product Designs
Alex Weissman, Satyandra K. Gupta, Xenia Fiorentini, Sudarsan Rachuri, Ram D. Sriram
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.
, Gupta, S.
, Fiorentini, X.
, Rachuri, S.
and Sriram, R.
Formal Representation of Product Design Specifications for Validating Product Designs, NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.IR.7626, https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=902722
(Accessed December 3, 2023)