polyspace-autosar lock analysing after reading of arxml source

Hello,

I'm trying to use polyspace-autosar for analyzing implementation as it is described in the documentation. Unfortunately, after starting creation of project, (with command taken from documentation, ex. "D:\Polyspace2022a\polyspace\bin\polyspace-autosar -create-project %PROJECT_FOLDER% -arxml-dir %AUTOSAR_FOLDER% -sources-dir %CODE_FOLDER% -verbose") analysis after reading of arxml is not going further.

Last six lines from log:

Info: Behavior selection 'any' matches 57 behaviors (57 need to be updated; 0 up to date) from a total of 57 in model

Info: Data type selection 'indirect' matches 0 data types from a total of 8008 in model (others are explicitly selected by

| each behavior definition)

Info: Analyses definition of common data types (generic and user-selected); completed (2044ms,0 errors,0 warnings)

info: [start] Analyses definition of behavior 'ExamplePackageName.Example_Comp.Example'...

What could be possible cause of such thing, or where should I look for additional information how to handle this problem?

Thanks in advance.

Answer 1

[Anirban]

Please contact MathWorks Technical Support for a deeper investigation of the issue: https://www.mathworks.com/support/contact_us.html .

A few things to check might be the following:

• See if the same issue happens with the ARXML and sources shipped with the product in polyspaceroot\help\toolbox\codeprover\examples\polyspace_autosar (here, polyspaceroot is the Polyspace installation folder, for instance, C:\Program Files\Polyspace\R2022a). For more details, see Run Polyspace on AUTOSAR code.
• In the project folder, there should be a file psar_project.xhtml (or some similarly named HTML). This would state the project completion status and then link to error messages if any. For more information, see Troubleshoot Polyspace Analysis of AUTOSAR code.If the error messages do not help you understand the issue, tech support can use the information in the error messages to further diagnose the problem.