Browse Publications Technical Papers 2008-01-0741
2008-04-14

Model Based Design Verification: A Monitor Based Approach 2008-01-0741

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.

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Members save up to 18% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:
TECHNICAL PAPER

An Electronic Throttle Simulation Model with Automatic Parameter Tuning

2005-01-1441

View Details

TECHNICAL PAPER

A New Lift-Controlled Piezo Injector for the Next Generation of Common Rail Diesel Injection Systems for Passenger Cars

2001-24-0015

View Details

TECHNICAL PAPER

A Methodology for Engine Performance Optimization

2011-24-0156

View Details

X