Find Dead Logic
Find objects in your model that cannot be activated during simulation and execution of generated code.
Verify Formal Safety Requirements
Verify that your design behaves according to formally defined safety requirements (3:53) that you express using MATLAB, Simulink, and Stateflow.
“By enabling us to analyze requirements quickly, reuse designs from previous products, and eliminate manual coding errors, Model-Based Design has reduced development times and enabled us to shorten schedules to meet the needs of our customers.”MyoungSuk Ko, LS Automotive