Verification and Validation of Simulink Generated Source Code with VectorCAST
The usage of model driven development is becoming more and more popular. There are many leading tools in this market space all catering for different types of application development. The MathWorks® Simulink® product is one such product. Simulink® is an environment for multi-domain simulation and Model-Based Design for dynamic and embedded systems. It provides an interactive graphical environment and a customizable set of block libraries that let you design, simulate, implement, and test a variety of time-varying systems, including communications, controls, signal processing, video processing, and image processing. The Simulink® product also allows the user to auto generate the source code (typically in programming language ‘C’) from these defined models.
In this whitepaper we discuss how the Simulink product and VectorCAST products can be used together to produce the required verification and validation artifacts for developing a safety critical application.
Please fill in the following form to get the download link via e-mail: