Hierarchical functional reasoning

This paper discusses the use of hierarchies of function in reasoning about automotive electrical systems. Such hierarchies enable more powerful reason ing for applications such as diagnosis, failure mode and effects analysis, sneak circuit analysis and design verification, while also structuring the domain and thus reducing the complexity at any one level. The context of th is discussion is the existing AutoSteve system for performing these tasks. The AutoSteve system works with single level electrical schematics, one sch ematic for each subsystem in the car, and with a set of functional labels f or each subsystem. The functional labels can be used to interpret what is h appening in a qualitative simulation of the circuit. (C) 1998 Elsevier Scie nce B.V. All rights reserved.