Ошибка лицензии-4,0

Проблема

Когда вы пытаетесь запустить Polyspace®, вы получаете это сообщение об ошибке:

License Error -4,0

Возможная причина: другое выполнение экземпляра Polyspace

Можно открыть несколько экземпляров Polyspace, но можно только запустить один анализ кода за один раз.

При попытке запустить процессы Polyspace из нескольких окон, вы получите ошибку License Error –4,0.

Решение

Только запустите один анализ за один раз, включая любую командную строку или сменные исследования.

Возможная причина: предшествующий Polyspace, запущенный в Simulink или MATLAB Coder

Если при запуске Polyspace на сгенерированном коде в пользовательском интерфейсе Simulink® или в приложении MATLAB® Coder™, можно получить ошибку лицензии, при попытке запустить последующий анализ в пользовательском интерфейсе Polyspace. Вы получаете ошибку, даже если предыдущее выполнение закончено.

Решение

Запустите последующий анализ с помощью метода, который вы использовали прежде, то есть, в пользовательском интерфейсе Simulink или приложении MATLAB Coder.

Если вы хотите запустить анализ в пользовательском интерфейсе Polyspace, закрыть Simulink или MATLAB Coder и затем повторно выполнить анализ.