Browse Publications Technical Papers 2006-21-0047

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.


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


Members save up to 40% off list price.
Login to see discount.
Special Offer: With TechSelect, you decide what SAE Technical Papers you need, when you need them, and how much you want to pay.