polyspace-autosar lock analysing after reading of arxml source

3 次查看（过去 30 天）
Cezary Bazdyga
Cezary Bazdyga 2022-8-18
编辑： Anirban 2022-8-18
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.

请先登录，再回答此问题。

回答（1 个）

Anirban
Anirban 2022-8-18
编辑：Anirban 2022-8-18
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.

类别

在 Help Center 和 File Exchange 中查找有关 Code Prover Analysis of AUTOSAR Code 的更多信息

标签

产品


版本

R2022a

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by