Community Profile

photo

Pat Canny


Last seen: Today

MathWorks

42 total contributions since 2018

I'm the Product Manager for Simulink Design Verifier and Simulink Coverage.

I have an aerospace control systems background, but decided to get an MBA. I now get to live my dream: business and controls!

Contact

Pat Canny's Badges

  • 3 Month Streak
  • Knowledgeable Level 2
  • 5-Star Galaxy Level 1
  • Personal Best Downloads Level 2
  • First Review
  • First Submission
  • Revival Level 2
  • First Answer

View details...

Contributions in
View by

Answered
how does the simulink design verifier creates test case
Hi Ajay, There is an option to "extend" existing test cases with Simulink Design Verifier: https://www.mathworks.com/help/sld...

8 days ago | 0

| accepted

Answered
How to remove top phrases from a word cloud
The removeWords function only removes specific words. It won't remove phrases like you might expect. The word clouds are sho...

1 month ago | 0

| accepted

Question


How to remove top phrases from a word cloud
I have created a set of word clouds, but want to remove some common two-word phrases that appear in each. I tried using removeW...

1 month ago | 1 answer | 0

1

answer

Answered
Cumulative coverage for different test cases
(To officially answer this) For cumulative coverage workflows, you can create a test harness for the system under test using ...

1 month ago | 0

| accepted

Answered
How do I extract the contents of an HTML table on a web page into a MATLAB table?
You can extract the <table> content, which is all stored in a set of <td> tags, as a string array and go from there. You first ...

2 months ago | 0

| accepted

Question


How do I extract the contents of an HTML table on a web page into a MATLAB table?
I'd like to plot and analyze the TSA traveler data from this website: https://www.tsa.gov/coronavirus/passenger-throughput The ...

2 months ago | 1 answer | 0

1

answer

Answered
Design verifier :run all and produce coverage for a sldvmakeharness created model
Hi Jiahao, I recommend using sldvrun to generate tests with Design Verifier, then sldvruntest to run the tests and cvhtml to ...

2 months ago | 0

| accepted

Answered
Simulink Block not executed
Hi Ajay, The coverage report should show the decision coverage achieved for that block. I assume the block you are referring ...

2 months ago | 0

| accepted

Answered
Retrieve child coverage results from parent model
Hi Luis, Thanks for your question. You are correct in that the signal range coverage is not collected for model outputs. The...

2 months ago | 1

Answered
How can I input expected output values for a signal to simulink design verifier and generate tests with it?
Hi Xinkun, Thank you for your question. I recommend you use a Test Objective block, which you can use to define a desired ...

5 months ago | 0

Answered
Don't know why SLDV checks compatibility fail
Hi galaxy, I spoke with the SLDV Development team. This may be due to an internal error within the tool. It will require re...

8 months ago | 0

Answered
How do I extract all rows of a struct field that is a character array?
First, try to avoid using character arrays. Convert them to string arrays. Second, you need to use the {curly brace syntax} to ...

8 months ago | 0

| accepted

Question


How do I extract all rows of a struct field that is a character array?
I want to extract all rows of a field within a struct. The field is a character array. For sake of example, the struct is calle...

8 months ago | 1 answer | 0

1

answer

Answered
2019b toolbox verification
As Walter already answered, the Simulink Verification and Validation product was split into three products. The Simulink Veri...

9 months ago | 0

Question


How do I check for unresolved requirements links programmatically?
I would like to check for any "bad" requirements implementation links as part of a Continuous Integration (CI) workflow. For ex...

9 months ago | 1 answer | 0

1

answer

Answered
How do I check for unresolved requirements links programmatically?
This can be accomplished using the isResolved method within the slreq.Link class. You can also use the isResolvedSource and i...

9 months ago | 0

| accepted

Submitted


Requirements-Based Testing Workflow Example
This example workflow shows users how to get started with systematic, requirements-based testing using Simulink.

9 months ago | 15 downloads |

Thumbnail

Answered
How do I create a coverage filter for all Simulink blocks with a given Tag?
One way to do this is to use find_system to build a list of all Simulink blocks with a given tag. Then, you can use BlockSelect...

9 months ago | 0

| accepted

Question


How do I create a coverage filter for all Simulink blocks with a given Tag?
I would like to create a model coverage filter for all Simulink blocks with a given Tag. I didn't see a way to do this with the...

9 months ago | 1 answer | 0

1

answer

Answered
How do I import a test harness with an existing model reference?
One way to do this is through sltest.harness.import, which allows you to import a stand-alone model as a test harness model. If...

9 months ago | 0

| accepted

Question


How do I import a test harness with an existing model reference?
I accidentally "disassociated" a test harness model with its parent model. What is the easiest way to re-associate the harness m...

9 months ago | 1 answer | 0

1

answer

Answered
Simulink Design Verifier Support
Hi Logan, Apologies for the delay in my response (I was away on leave and my MATLAB Answers RSS feed is somehow broken). Thi...

12 months ago | 0

Answered
Why is a Simulink Check license checked out when I open a model?
This is likely due to Edit-Time Checking being enabled on the model. If the model has been saved with Edit-Time Checking enabled...

1 year ago | 0

| accepted

Question


Why is a Simulink Check license checked out when I open a model?
I noticed that when I open certain models, a Simulink Check license ('sl_verification_validation') is immediately checked out. I...

1 year ago | 1 answer | 0

1

answer

Submitted


Getting Started with Model Verification and Validation
This example shows how to get started with MathWorks' Model Verification & Validation tools

1 year ago | 23 downloads |

Thumbnail

Answered
How do I get a list of a Simulink block's parameters?
This can be accomplished using 'ObjectParameters'. Here is an example from the Simulink Documentation: load_system('vdp') Mo...

1 year ago | 0

| accepted

Question


How do I get a list of a Simulink block's parameters?
I like to use get_param and set_param on model blocks - how do I get a list of a given block's parameters?

1 year ago | 1 answer | 0

1

answer

Answered
Simulink Design Verifier Expected Output missing
You should see the expected outputs in the sldvData.TestCases.expectedOutput field (from the .mat file). It should be an array o...

1 year ago | 0

Answered
Why am I getting "Error using bar (line 127) Input arguments must be numeric, datetime, duration or categorical"?
You are using parentheses where you should be using curly braces. To access the content of the table, use curly braces. Here's ...

1 year ago | 0

| accepted

Question


Why am I getting "Error using bar (line 127) Input arguments must be numeric, datetime, duration or categorical"?
I am trying to create a stacked bar chart of revenue data by fiscal quarter using data from a table. The data I want to plot is ...

1 year ago | 1 answer | 0

1

answer

Load more