필터 지우기
필터 지우기

How do I get polyspace to recognise AUTOSAR exclusive areas?

조회 수: 2 (최근 30일)
Hans Odeberg
Hans Odeberg 2023년 11월 20일
답변: Anirban 2023년 11월 28일
Recently I added the -autosar-multitasking <OS arxml file> option to Polyspace bugfinder R2023b. Immediately I got a lot of new warnings about variables being accessed non-atomically from different tasks. So far, so good.
But: I am getting a lot of false positives, where variable access is correctly protected by AUTOSAR exclusive areas implemented by disabling interrupts or taking a spinlock. How do I make Polyspace aware of these exclusive areas?
I tried also including the RTE arxml file, where the implementation of these areas is defined, but that did not help.

채택된 답변

Anirban
Anirban 2023년 11월 28일
Please contact MathWorks Technical Support for more help with the problem: https://www.mathworks.com/support/contact_us.html

추가 답변 (0개)

제품


릴리스

R2023b

Community Treasure Hunt

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

Start Hunting!

Translated by