Show simple item record McManus, Alex Price, Chris Snooke, Neal Joseph, Richard 2006-03-22T16:15:38Z 2006-03-22T16:15:38Z 2006-03-22
dc.identifier.citation McManus , A , Price , C , Snooke , N & Joseph , R 2006 , ' Design Verification of Automotive Electrical Circuits ' pp. 153-159 . en
dc.identifier.other PURE: 75709
dc.identifier.other dspace: 2160/73
dc.description A.G.McManus, C.J.Price, N.Snooke, R.Joseph, Design Verification of Automotive Electrical Circuits. Proceedings 13th International Workshop on Qualitative Reasoning, Loch Awe, 1999. pp. 153-159, ISBN 0-903878-60-7 en
dc.description.abstract Automotive engineers are under increasing pressure to produce correct, safe designs in shorter time frames. We present an algorithm for automating Design Verification of automotive electrical circuits, building on the qualitative simulator used by the AutoSteve system for producing Failure Mode and Effects Analysis (FMEA). Our system allows an engineer to use a specification (in the form of a state chart) to verify the correct behavior of a circuit design . Design Verification can be used to reveal errors in the specification, sneak circuits, timing and sequence errors, and we give early results for some of these problems. en
dc.format.extent 7 en
dc.language.iso eng
dc.relation.ispartof en
dc.title Design Verification of Automotive Electrical Circuits en
dc.type Text en
dc.type.publicationtype Conference paper en
dc.contributor.institution Department of Computer Science en
dc.description.status Non peer reviewed en

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search Cadair

Advanced Search