Model-based design meets automotive specs

The C code generated by Real-Time Workshop Embedded Coder matches the Simulink and Stateflow model results for MathWorks Release R2007b.

The Real-Time Workshop Embedded Coder for MathWorks Release R2007b has successfully passed the Automotive Code Validation Suite (AVS).

AVS provides an independent test suite for validating embedded code generators.

According to the report from TUV Rheinland Industrie Service: "A successful validation using AVS shall be considered as proof of validation to a recognised procedure according to IEC61508-3:1998, clause 7.4.4".

AVS lets engineers validate the model-based design toolchain from model specification to final embedded code by assessing the code generator, crosscompiler, linker and embedded processor.

The validation conducted by TUV Rheinland demonstrated that the results of the C code generated by Real-Time Workshop Embedded Coder matches the Simulink and Stateflow model results for MathWorks Release R2007b.

AVS was initiated in 2002 by Continental Automotive Systems, Ford Motor Company and TUV Rheinland, and has since been opened to automotive companies and tool vendors.

According to Torsten Sauer from Continental Automotive Systems: "This success was a prerequisite for our engineers and project managers to apply Real-Time Workshop Embedded Coder in the development of safety-critical systems; it should encourage everybody to follow this validation approach in order to provide confidence to their specific production configurations".

"The AVS validation is an example of how engineering teams can use model-based design within rigorous development processes in a way that is practical and easy for large scale deployment", says Andy Grace, Vice President of Engineering and Design Automation at The MathWorks.

Back to top