Answered
Possibility to Restore deleted requirement
I recommend contacting MathWorks Technical Support. This question requires more information.

4 months ago | 0

Answered
Simulink Requirements tracing over all steps of the development
I recommend contacting MathWorks Technical Support for additional guidance.

4 months ago | 0

Answered
How can I express bitsets, arrays and structures datatypes in requirements table?
See comment from @Ayush above.

4 months ago | 0

Answered
RMI setup when the DOORS server does not end with the port number.
I recommend contacting MathWorks Technical Support. This question requires more information.

4 months ago | 0

Answered
Can a Truth table be imported as a single requirement using Requirements Toolbox?
I recommend contacting MathWorks Technical Support. This question requires more information.

4 months ago | 0

Answered
path of link in requirement editor
I recommend contacting MathWorks Technical Support. This question requires more information.

4 months ago | 0

Answered
How to show requirement details in System Requirements box?
For anyone reading this question: these features have improved significantly since the question was asked.

4 months ago | 0

Answered
I was working requirements for my model, i could not open the requirements editor
I recommend contacting MathWorks Technical Support. This question requires more information.

4 months ago | 0

Answered
How can you include requirements in Embedded Web View Report?
See comment above from @Satwik

4 months ago | 0

Answered
Design Verifier error: The model is contradictory in its current configuration. Why?
I recommend contacting MathWorks Technical Support. This question requires more information.

4 months ago | 0

Answered
Models with S-functions fail the Simulink Design Verifier compatibility check.
For anyone reading this question: this has been improved in recent releases.

4 months ago | 0

Answered
Simulink Design Verifier taking really long
I recommend contacting MathWorks Technical Support. This question requires more information.

4 months ago | 0

Answered
Simulink design verifier stops after building model representation
I recommend contacting MathWorks Technical Support. This question requires more information.

4 months ago | 0

Answered
Coverage aggregating multiple test harnesses
I recommend contacting MathWorks Technical Support. This question requires more information.

4 months ago | 0

Answered
Build only once when running SIL simulation
I recommend contacting MathWorks Technical Support. This question requires more information.

4 months ago | 0

Answered
Errors in creation of test cases using Simulink Desing Verifier.
I recommend contacting MathWorks Technical Support. This question requires more information.

4 months ago | 0

Answered
Why I see MCDC as NA in the report when generating test cases using Simulink Design Verifier?
I recommend contacting MathWorks Technical Support. This question requires more information.

4 months ago | 0

Answered
Problems to execute qualkitdo_codeproverserver on Centos 7
I recommend contacting MathWorks Technical Support. This question requires more information.

4 months ago | 0

Answered
DO-331 MATLAB Tool Qualification
Hi @Gopal - sorry for the delayed response. The DO Qualification Kit is one of our product offerings. Please reach out to our Sa...

4 months ago | 0

Submitted

Formal Functional Equivalence
This project provides a set of utilities for performing "formal functional equivalence," which is a static analysis-based techni...

1 year ago | 1 download |

0.0 / 5

Answered
I want to access the fields for logical and temporal assessments in Simulink Test Manager.
Hi @長谷川, We added APIs for this use case in R2022a: https://www.mathworks.com/help/sltest/release-notes.html For example, th...

1 year ago | 0

Answered
Retrieve requirement information linked to a test assessment step programmatically
Hi @theCook - I recommend referring to this discussion here: https://www.mathworks.com/matlabcentral/answers/2143046-how-can-i-p...

1 year ago | 0

Answered
System Fault Analyzer error
Hi @Aayush, Thanks for reaching out. I'm sorry you're running into this error. It appears that the block was treated as a vi...

1 year ago | 0

Answered
Requirements in a Requirements Table
Hi @Brennan Fox, Once you load a Requirement Set, you can use methods from slreq.ReqSet or slreq.Requirement to query or modi...

1 year ago | 1

Answered
How can I divide the index of requirements by hierarchy?
Hi @JinWook Park, You have a couple of options to do this: Programmatically using the Requirements Toolbox APIs (see example...

1 year ago | 0

| accepted

Answered
Inquiry about using the source of the sltest.harness.create function depending on the MATLAB version
Hi @WJKIM, Apologies for the confusion. The Signal Builder was deprecated as a harness source (for new harnesses) in R2022b. ...

1 year ago | 2

| accepted

Answered
Open Embedded Objects in Requirements Editor
To import images associated with requirements, please export the requirements as a .reqifz file Here is some reference materi...

1 year ago | 1

| accepted

Answered
Requirements Manager: How to extract information from the Custom Attribute Registry inside the Requirement Set class
You can get an array of CustomAttributeNames as a property of a Requirement Set, then use inspectAttribute to query the Informat...

2 years ago | 0

| accepted

Answered
How do I prioritize Model Advisor check failures?
One approach is to use the “Model Advisor Configuration Editor”: https://www.mathworks.com/help/slcheck/ug/organizing-checks-and...

2 years ago | 0

| accepted

Question

How do I prioritize Model Advisor check failures?
I want to resolve some Model Advisor checks first if they were to fail. How would I do that?

2 years ago | 1 answer | 0

1

answer