Design Automation With the Characteristics Properties Model and Property Driven Design for Redesign

This paper presents a framework consisting of a mathematical model and an algorithm for representation, analysis and exploration of the design space in redesign problems. The framework develops and extends the existing formalism of the Characteristics Properties Model (CPM) and Property Driven Design (PDD). A platform independent quantitative model based on formal log-ic is presented to map the characteristics and properties, as well as the relations and dependencies between them, along with the necessary conditions for solu-tion evaluation. The model is based on generalization of existing mathematical design models and is supported by the development of an algorithm enabling property driven design. The resulting framework offers a rich and flexible syn-tax and vocabulary along with a mathematical and computational tool applica-ble to mechanical product redesign.