AutoSteve: automated electrical design analysis
Chris Price · European Conference on Artificial Intelligence · 2000
AutoSteve performs automated electrical design analysis based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for complex automotive systems. It has been deployed at automotive manufacturers for several years, and produces FMEA and sneak circuit analysis reports much more quickly and consistently than they could be produced without its assistance.