TY - RPRT T1 - Model Based Design Verification: A Monitor Based Approach Y1 - 2008 A1 - Ackermann,Chris A1 - Ray,Arnab A1 - Cleaveland, Rance A1 - Heit,Jürgen A1 - Martin,Christopher A1 - Shelton,Charles AB - This paper assesses the utility of an automated functional verification methodology in the design of a body electronics application. The use of design models as detailed specifications for software is gaining steady acceptance in the automotive industry because of the advantages it offers in terms of rapid system prototyping and automatic code generation. This paper argues that such modeling effort can also be used to provide support for design verification, so that errors may be pinpointed before they find their way into code, when they become much harder and more expensive to isolate, diagnose and repair. PB - SAE International CY - Warrendale, PA VL - 2008-01-0741 UR - http://papers.sae.org/2008-01-0741 ER -