Function-directed electrical design analysis

Abstract Functional labels provide a simple, but very reusable way for defining the functionality of a system and for making use of that knowledge. Unlike more complex functional representation schemes, these labels can be efficiently linked to a behavioral simulator to interpret the simulation in a way that is meaningful to the user. They are also simple to specify, and highly reusable with different behavioral implementations of the system's functions. This claim has been substantiated by the development of the FLAME application, a practical automated design analysis tool in regular use at several automotive manufacturers. The combination of functional labels and behavioral simulator can be employed for a variety of tasks—simulation, failure mode and effects analysis (FMEA), sneak circuit analysis, design verification, diagnostic candidate generation—producing results that are very valuable to engineers and presented in terms that are easily understood by them. The utility of functional labels is illustrated in this paper for the domain of car electrical systems, with links to a qualitative circuit simulator. In this domain, functional labels provide a powerful way of interpreting the behavior of the circuit simulator in terms an engineer can understand.

[1]  B. Chandrasekaran,et al.  Design Verification through Function- and Behavior-Oriented Representations , 1992 .

[2]  Bernd Neumann,et al.  Qualitative Reasoning about Electrical Circuits using Series-Parallel-Star Trees , 1996 .

[3]  Mitsuru Ikeda,et al.  FBRL: A Function and Behavior Representation Language , 1995, IJCAI.

[4]  Kenneth D. Forbus.  Qualitative Reasoning about the Physical World , 1992 .

[5]  Chris Price,et al.  The Flame system: automating electrical failure mode and effects analysis (FMEA) , 1995, Annual Reliability and Maintainability Symposium 1995 Proceedings.

[6]  Peter Struss,et al.  Qualitative Modeling is the Key to Automated Diagnosis , 1996 .

[7]  T. A. Montgomery,et al.  FMEA automation for the complete design process , 1996, Proceedings of 1996 Annual Reliability and Maintainability Symposium.

[8]  Chris J. Price,et al.  Multiple Fault Diagnosis from FMEA , 1997, AAAI/IAAI.

[9]  W. E. Jordan.  Failure modes, effects and criticality analyses. , 1972 .

[10]  Mark H. Lee,et al.  Qualitatively modelling the effects of electrical circuit faults , 1993, Artif. Intell. Eng..

[11]  Mark Lee,et al.  Automating the FMEA process , 1993 .

[12]  Neal Snooke,et al.  Dynamic analysis of qualitative circuits for failure mode and effects analysis , 1996, Proceedings of 1996 Annual Reliability and Maintainability Symposium.

[13]  Amir Pnueli,et al.  On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.

[14]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[15]  Chris Price.  Effortless incremental design FMEA , 1996, Proceedings of 1996 Annual Reliability and Maintainability Symposium.

[16]  J. B. Bowles,et al.  Combining sneak circuit analysis and failure modes and effects analysis , 1993, Annual Reliability and Maintainability Symposium 1993 Proceedings.

[17]  Richard Fikes,et al.  Causal functional representation language with behavior-based semantics , 1995, Appl. Artif. Intell..