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

Abstract

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 logic is presented to map the characteristics and properties, as well as the relations and dependencies between them, along with the necessary conditions for solution 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 syntax and vocabulary along with a mathematical and computational tool applicable to mechanical product redesign.