Design automation with the characteristics properties model and the 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 solution conditions. The model is based on generalization of existing mathematical design models and is support-ed by the development of an algorithm enabling property driven design. The re-sulting framework offers a rich and flexible syntax and vocabulary along with a mathematical and computational tool applicable to mechanical product design.; International audience; 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 solution conditions. The model is based on generalization of existing mathematical design models and is support-ed by the development of an algorithm enabling property driven design. The re-sulting framework offers a rich and flexible syntax and vocabulary along with a mathematical and computational tool applicable to mechanical product design.