Prototyping and Simulation as a Means of Software Verification ETAS

Format:

Book

Conference/Event

Author/Creator:

Wolff, Hans-Jörg, author.

Conference Name:

Convergence 2006 (2006-10-16 : Detroit, Michigan, United States)

Language:

English

Physical Description:

1 online resource cm

Place of Publication:

Troy, MI Convergence Transportation Electronics Association 2006

Summary:

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

Notes:

Vendor supplied data

Publisher Number:

2006-21-0047

Access Restriction:

Restricted for use by site license