Guy and Seth on Simulink

Results for: Verification & Validation

How Polyspace could have detected the vulnerability in Apple’s iOS 1

Posted by Guy Rouleau,

How Polyspace could have detected the vulnerability in Apple’s iOS Many users of Simulink and Embedded Coder target their applications to embedded systems. Embedded systems require high levels of integrity in their operation, and increasingly, these systems are being connected to networks to enable new functionality and provide monitoring capabilities. These extensions to embedded systems raise concerns about... read more >>

Tracing Requirements to Models, Tests, and Generated Code 2

Posted by Guy Rouleau,

Tracing Requirements to Models, Tests, and Generated Code When I wrote a post about the R2013b new features, Fraser replied in a comment that one of his favorite new feature is the requirements linking to MATLAB code. This made me realize that I never described on this blog how Simulink Verification and Validation allows the tracing of requirements to... read more >>

Fine-Tuning Model Advisor Analysis 2

Posted by Guy Rouleau,

Fine-Tuning Model Advisor Analysis Today I welcome my friend Nishaat Vasi to introduce a new feature of Simulink Verification and Validation: Model Advisor Exclusions. Nishaat: Hey Guy, did you notice the new Model Advisor Exclusions feature in R2012a? Guy: There are so many new features every release... I think I missed that one. What is it? Nishaat:... read more >>

Detecting Divide by Zero Errors 3

Posted by Guy Rouleau,

Detecting Divide by Zero Errors Wouldn't it be great if you could analyze a Simulink model and certify that it will never encounter design errors like divisions by zero and overflows? Since MATLAB R2011a, this is possible! This week, my friend Nishaat Vasi introduces this new feature of Simulink Design Verifier Detecting Design Errors with Simulink Design... read more >>

Different Results in Accelerated Mode Versus Normal Mode 8

Posted by Guy Rouleau,

Different Results in Accelerated Mode Versus Normal Mode By Guy Rouleau This week I received a large model giving different results when used as a referenced model in Accelerated mode, compared to the Normal Mode. To give you an idea, the top model in this application looked like this: After a quick inspection of the model, I found nothing obvious.... read more >>

If you can put a man on the moon, can you take a look at my car? 25

Posted by Seth Popinchalk,

If you can put a man on the moon, can you take a look at my car? Today I welcome my colleague Paul Barnard to guest post about the final report from the NHTSA-NASA Study of Unintended Acceleration in Toyota Vehicles. By Paul Barnard I just read the final report from the NASA Engineering and Safety Center (NESC) as part of the National Highway Transportation Safety Administration (NHTSA)... read more >>

How to Verify Code Generated with Model-Based Design 4

Posted by Seth Popinchalk,

How to Verify Code Generated with Model-Based Design An important benefit of Model-Based Design is doing early verification of your model and using what you learn to verify your final production software. As your design moves to production a critical question is how do you verify the generated code? In this post I want to provide... read more >>

Did I just get a different answer? 3

Posted by Seth Popinchalk,

Did I just get a different answer?  As part of any well designed Model Based Design work-flow, you need to ensure that you get the expected results from your simulation. You might want to evaluate the effect of... read more >>

Model Advisor: Don’t Forget the Doc! 1

Posted by Seth Popinchalk,

Model Advisor: Don’t Forget the Doc! After posting last week about Model Advisor enhancements for R2008b, I got this e-mail from my friend Salina: Seth! You didn’t even mention the help for each check! My apologies go to Salina and the other writers who worked on enhancing the Model Advisor documentation.  Let me make it up to you by showing... read more >>

Introduction to Model Advisor 6

Posted by Seth Popinchalk,

Introduction to Model Advisor How do you check your model for common mistakes?  Do you have an easy way to verify that your model matches the MAAB (MathWorks Automotive Advisory Board) Control Algorithm Modeling Guidelines?  In this post, I will introduce model advisor and show you how easy it is to use automated checking in your modeling process. Model Advisor The... read more >>

These postings are the author's and don't necessarily represent the opinions of MathWorks.