Translation Validation: From Simulink to C

Abstract

Translation validation is a technique for formally establishing the semantic equivalence of the source and the target of a code generator. In this work we present a translation validation tool for the Real-Time Workshop code generator that receives as input Simulink models and generates optimized C code. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.