Polyspace Bugfinder warning assessment storing in Model

Hello Team ,

We are looking for option to document the assessments of Polyspace Bugfinder warnings in the model itself.

Couldnt figure this out. Is such option available ?

Answer 1

[Anirban]

You can annotate blocks to justify Polyspace issues. See Address Polyspace Results by Annotating Simulink Blocks.

Answer 2

[Sanchari]

Hello Jayanth,

I understand that you are trying to document and store the assessment of Polyspace Bug Finder warning in the model itself for your team to review when working on those warnings. However, Polyspace does not offer a direct built-in option to do so. Instead, you can consider the following approach to document assessments of Polyspace Bug Finder warnings in your model:

1. Use Simulink Model Annotations: In Simulink, you can use annotations to add notes, comments, or explanations directly within the model. You can create annotations near the specific blocks or subsystems that are associated with the Polyspace Bug Finder warnings. Within these annotations, you can document the assessments, including any actions taken, explanations, or decisions related to the warnings. You can refer this link on Annotating Simulink Blocks for further clarity: https://www.mathworks.com/help/bugfinder/ug/annotate-simulink-blocks-to-justify-polyspace-results.html
2. Utilize the Model Description: Simulink allows you to add a description to the model. This description can include information about the assessments of Polyspace Bug Finder warnings. While this may not be as granular as annotations, it provides a high-level overview of the assessments and decisions made based on the warnings.
3. Use Custom Data or Parameters: You can define custom data or parameters within your model to capture and document assessments related to Polyspace Bug Finder warnings. This approach allows you to create structured documentation within the model itself.

While these methods do not provide a direct integration with Polyspace Bug Finder warnings, they offer ways to document assessments and decisions within the context of the model.

You can also check the following ML Answer Learnings and MathWorks Documentations for more knowledge on how to use Polyspace with Simulink:

1. https://www.mathworks.com/matlabcentral/answers/454362-how-do-i-use-polyspace-with-simulink
2. https://www.mathworks.com/help/polyspace_access/add-review-information-to-results.html
3. https://www.mathworks.com/matlabcentral/answers/536279-import-comments-written-in-polyspace-access

I hope this information is helpful to you!