Ошибка лицензии -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 и повторите анализ.