
584 Model-Based Testing for Embedded Systems
Application
software
component 1.1
Application
software
component 1.n
Application
software
Basic software
ECU hardware
ECU #1
ECU #2 ECU #3
Life cycle artifact/work product
Output
variables
Setpoints
Measured
variables
Application
software
component 1.2
FIGURE 20.3
Overview of an automotive embedded system.
20.3 Verification and Validation of Generated Code
With the advent of code generation, it has become essential to demonstrate that the object
code correctly implements the model used for embedded code generation, that is, to show
the correctness of the model-to-code transformation process. Two general approaches have
been ...