This paper argues that model-based techniques, in particular those dealing with electromechanical systems in engineering applications, will benefit considerably by incorporating multiple perspectives. This can be achieved by integrating different representations from engineering notations, e.g. structural and functional knowledge, and different domain attributes, e.g. mechanical and electrical aspects. An example case study is used to illustrate and evaluate the approach.
This paper presents a new method for the qualitative analysis of electrical circuit behaviour. This paper shows that a qualitative representation of electrical resistance provides a good intuitive model for reasoning about gross electrical effects due to connectivity faults. The motivation is to produce tools to assist engineers in the identification and analysis of circuit failures that have safety implications. This includes work in hazard analysis, safety-critical systems, and failure mode effects analysis (FMEA). The analysis algorithms efficiently locate state changes in circuits and assign qualitative symbols for voltage and current flow to all components. The input, Δr, is a list which specifies qualitative resistance changes between the nodes of a previously defined circuit and the output is a pair, (Pa, Pd), of sets of activated and deactivated paths, identifying the components that have changed state. The system has a layered priority approach precisely in keeping with failure mode analysis tasks and has been successfully tested in real applications.