Abstract
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.
Original language | English |
---|---|
Pages (from-to) | 93-104 |
Number of pages | 12 |
Journal | Knowledge-based systems |
Volume | 9 |
Issue number | 2 |
DOIs | |
Publication status | Published - 1996 |
Keywords
- Engineering design
- Model-based diagnosis