Browse Publications Technical Papers 2006-21-0047
2006-10-16

Prototyping and Simulation as a Means of Software Verification 2006-21-0047

This manuscript describes a method for verifying the correctness of embedded software systems modeled and implemented with rapid prototyping and automatic code generation tools. By reusing the prototyping system as a reference, an automated means of comparing the target implementation to the validated model functionality is derived. The comparison ensures that the integer code generated and compiled for a specific production target corresponds and behaves identically to the function model developed in a rapid-prototyping environment.

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

Cost Efficient Integration for Decentralized Automotive ECU

2004-01-0717

View Details

TECHNICAL PAPER

Integration of Control Designs and Simulation Models into a Modular Real-Time Platform

2004-01-1239

View Details

TECHNICAL PAPER

Development of Modular Electrical, Electronic, and Software System Architectures for Multiple Vehicle Platforms

2003-01-0139

View Details

X