Prototyping and Simulation as a Means of Software Verification

2006-21-0047

10/16/2006

Event
Convergence 2006
Authors Abstract
Content
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.
Meta TagsDetails
Pages
7
Citation
Wolff, H., and Lefarth, U., "Prototyping and Simulation as a Means of Software Verification," SAE Technical Paper 2006-21-0047, 2006, .
Additional Details
Publisher
Published
Oct 16, 2006
Product Code
2006-21-0047
Content Type
Technical Paper
Language
English