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 »

Preview Document Add to Cart
Members save up to 16% 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

Development of Hardware-In-the-Loop Simulation for Scooter Engine Control

2006-01-0614

View Details

TECHNICAL PAPER

Analytical Engine Design Methods: A Review

950806

View Details

X