Browse Publications Technical Papers 2011-01-0745
2011-04-12

Applying Design Verification Tools in Automotive Software V&V 2011-01-0745

Design verification technology promises comprehensive analysis of design models against the specified properties, thereby overcoming the limitations of traditional simulation-based and testing-based approaches. It helps in detecting design bugs early, thereby reducing the software development cycle time and cost. In this paper, we present our experiences with three state-of-the-art design verification tools - Reactis Validator, Simulink Design Verifier and Embedded Validator - for Simulink/Stateflow models. We also identify some challenges in employing them in an industrial production environment. We also suggest some automation steps to ease the design verification effort.

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

Connecting Simulink to OSEK: Automatic Code Generation for Real-Time Operating Systems with TargetLink

2001-01-0024

View Details

TECHNICAL PAPER

An Architecture Based Design Process for Deploying Control Software on Production Hardware Using RapidHawk

2003-01-0853

View Details

TECHNICAL PAPER

Evaluation of Open Source Tools and Development Platforms for Data Analysis in Engine Development

2015-26-0076

View Details

X