Priority level with Cortex-M

2 次查看（过去 30 天）
MG
MG 2017-6-9
Hello,
How can I set Polyspace (Code Prover) to modelize IT's priorities behavior of a Cortex-M processor? I mean that in the Cortex-M processor, some priority has a level of interrupt greater than other interrup. Thus, if a lower priority is handle, this one can be interrupt with a higher priority. But the reverse is not allow; the higher priority will never been interrupt by the lower priority.
In the Polyspace (Code Prover) setting panel (Configuration -> Multitasking -> Interrupts), there is a green arrow to move-up or down the interrupt. What is the goal of this green arrow?
Thanks in advance. Best Regards

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

回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Bug Finder Analysis in Polyspace Platform User Interface 的更多信息

标签

Community Treasure Hunt

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

Start Hunting!

Translated by