Translation Validation: From Simulink to C

摘要

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.