
20
Testing-Based Translation Validation of
Generated Code
Mirko Conrad
CONTENTS
20.1 Introduction .............................................................................. 579
20.1.1 Embedded software development using Model-Based Design .................... 579
20.1.2 Tool support ...................................................................... 580
20.1.3 Verification and validation of generated code .................................... 580
20.1.4 Compliance with functional safety standards .................................... 581
20.1.5 Contribution ...................................................................... 582
20.2 Model-Based ...