Redesign of technical systems

The paper describes a systematic approach to support the redesign process. Redesign is the adaptation of a technical system in order to meet new specifications. The approach presented is based on techniques developed in model-based diagnosis research. The essence of the approach is to find the part of the system which causes the discrepancy between a formal specification of the system to be designed and the description of the existing technical system. Furthermore, new specifications are generated, describing the new behaviour for the 'faulty' part. These specifications guide the actual design of this part. Both the specification and design description are based on YMIR, an ontology for structuring engineering design knowledge.