Show simple item record

dc.contributor.author McManus, Alex
dc.contributor.author Price, Chris
dc.contributor.author Snooke, Neal
dc.contributor.author Joseph, Richard
dc.date.accessioned 2006-03-22T16:15:38Z
dc.date.available 2006-03-22T16:15:38Z
dc.date.issued 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.identifier.uri http://hdl.handle.net/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

Browse

Statistics