Exponenta Banner
exponenta event banner

pslinkoptions

Создайте объект опций для настройки конфигурации модели Simulink, сгенерированного кода или блока S-Function. Используйте объект, чтобы задать опции конфигурации для этих объектов Simulink в выполнении Polyspace из командной строки MATLAB

свернуть все на странице

Синтаксис

opts = pslinkoptions (кодеген )
opts = pslinkoptions (модель )
opts = pslinkoptions (sfunc )

Описание

пример

opts = pslinkoptions(codegen) возвращает объект options с опциями конфигурации для кода, сгенерированного codegen.

пример

opts = pslinkoptions(model) возвращает объект опций с опциями конфигурации для модели Simulink ®.

opts = pslinkoptions(sfunc) возвращает объект options с опциями конфигурации для S-функции.

Примечание

Перед запуском Polyspace ® из MATLAB ® необходимо связать установки Polyspace и MATLAB. См. раздел Интеграция полиспейса с MATLAB и Simulink.

Примеры

свернуть все

В этом примере используются:

Открыть сценарий в реальном времени

Груз closed_loop_control и создайте объект опций Polyspace ® из модели :

load_system('closed_loop_control');
model_opt = pslinkoptions('closed_loop_control')
model_opt =

                    ResultDir: 'results_$ModelName$'
         VerificationSettings: 'PrjConfig'
           OpenProjectManager: 0
         AddSuffixToResultDir: 0
     EnableAdditionalFileList: 0
           AdditionalFileList: {}
             VerificationMode: 'CodeProver'
          EnablePrjConfigFile: 0
                PrjConfigFile: ''
         AddToSimulinkProject: 0
               InputRangeMode: 'DesignMinMax'
               ParamRangeMode: 'None'
              OutputRangeMode: 'None'
           ModelRefVerifDepth: 'Current model only'
      ModelRefByModelRefVerif: 0
                  AutoStubLUT: 1
      CxxVerificationSettings: 'PrjConfig'
    CheckConfigBeforeAnalysis: 'OnWarn'
        VerifAllSFcnInstances: 0

Модель уже настроена для Embedded Coder ®, поэтому отображаются только опции конфигурации Embedded Coder. Изменить параметр и задать имя папки результатовOpenProjectManager к true. 

model_opt.ResultDir = 'results_v1_$ModelName$';
model_opt.OpenProjectManager = true
model_opt =

                    ResultDir: 'results_v1_$ModelName$'
         VerificationSettings: 'PrjConfig'
           OpenProjectManager: 1
         AddSuffixToResultDir: 0
     EnableAdditionalFileList: 0
           AdditionalFileList: {}
             VerificationMode: 'CodeProver'
          EnablePrjConfigFile: 0
                PrjConfigFile: ''
         AddToSimulinkProject: 0
               InputRangeMode: 'DesignMinMax'
               ParamRangeMode: 'None'
              OutputRangeMode: 'None'
           ModelRefVerifDepth: 'Current model only'
      ModelRefByModelRefVerif: 0
                  AutoStubLUT: 1
      CxxVerificationSettings: 'PrjConfig'
    CheckConfigBeforeAnalysis: 'OnWarn'
        VerifAllSFcnInstances: 0

Создание объекта параметров Polyspace ® с именемnew_opt со встроенными параметрами Coder ® :

new_opt = pslinkoptions('ec')
new_opt =

                    ResultDir: 'results_$ModelName$'
         VerificationSettings: 'PrjConfig'
           OpenProjectManager: 0
         AddSuffixToResultDir: 0
     EnableAdditionalFileList: 0
           AdditionalFileList: {}
             VerificationMode: 'CodeProver'
          EnablePrjConfigFile: 0
                PrjConfigFile: ''
         AddToSimulinkProject: 0
               InputRangeMode: 'DesignMinMax'
               ParamRangeMode: 'None'
              OutputRangeMode: 'None'
           ModelRefVerifDepth: 'Current model only'
      ModelRefByModelRefVerif: 0
                  AutoStubLUT: 1
      CxxVerificationSettings: 'PrjConfig'
    CheckConfigBeforeAnalysis: 'OnWarn'

Для отслеживания хода выполнения в интерфейсе Polyspace установите OpenProjectManager значение true. Измените конфигурацию для проверки наличия нарушений правил кодирования MISRA C ® 2012 :

new_opt.OpenProjectManager = true;
new_opt.VerificationSettings = 'PrjConfigAndMisraC2012'
new_opt =

                    ResultDir: 'results_$ModelName$'
         VerificationSettings: 'PrjConfigAndMisraC2012'
           OpenProjectManager: 1
         AddSuffixToResultDir: 0
     EnableAdditionalFileList: 0
           AdditionalFileList: {}
             VerificationMode: 'CodeProver'
          EnablePrjConfigFile: 0
                PrjConfigFile: ''
         AddToSimulinkProject: 0
               InputRangeMode: 'DesignMinMax'
               ParamRangeMode: 'None'
              OutputRangeMode: 'None'
           ModelRefVerifDepth: 'Current model only'
      ModelRefByModelRefVerif: 0
                  AutoStubLUT: 1
      CxxVerificationSettings: 'PrjConfig'
    CheckConfigBeforeAnalysis: 'OnWarn'

Создание объекта параметров Polyspace ® с именемnew_opt с параметрами TargetLink ® :

new_opt = pslinkoptions('tl')
new_opt =

                   ResultDir: 'results_$ModelName$'
        VerificationSettings: 'PrjConfig'
          OpenProjectManager: 0
        AddSuffixToResultDir: 0
    EnableAdditionalFileList: 0
          AdditionalFileList: {}
            VerificationMode: 'CodeProver'
         EnablePrjConfigFile: 0
               PrjConfigFile: ''
        AddToSimulinkProject: 0
              InputRangeMode: 'DesignMinMax'
              ParamRangeMode: 'None'
             OutputRangeMode: 'None'
                 AutoStubLUT: 1

Установите OpenProjectManager значение true для отслеживания хода выполнения в интерфейсе Polyspace. Также измените конфигурацию, чтобы проверить наличие ошибок во время выполнения и нарушений правил кодирования MISRA C ® :

new_opt.OpenProjectManager = true;
new_opt.VerificationSettings = 'PrjConfigAndMisra'
new_opt =

                   ResultDir: 'results_$ModelName$'
        VerificationSettings: 'PrjConfigAndMisra'
          OpenProjectManager: 1
        AddSuffixToResultDir: 0
    EnableAdditionalFileList: 0
          AdditionalFileList: {}
            VerificationMode: 'CodeProver'
         EnablePrjConfigFile: 0
               PrjConfigFile: ''
        AddToSimulinkProject: 0
              InputRangeMode: 'DesignMinMax'
              ParamRangeMode: 'None'
             OutputRangeMode: 'None'
                 AutoStubLUT: 1

Входные аргументы

свернуть все

Генератор кода, указанный как 'ec' для встроенного кодера или 'tl' для TargetLink ®. Каждый аргумент создает объект параметров Polyspace со свойствами, специфичными для данного генератора кода .

Описание всех опций конфигурации и их значений см. в разделе Свойства pslinkoptions.

Пример: ec_opt = pslinkoptions('ec')

Пример: tl_opt = pslinkoptions('tl')

Типы данных: char

Модель Simulink, заданная именем модели. Создает объект опций Polyspace с опциями конфигурации этой модели. Если опции не заданы, объект имеет опции конфигурации по умолчанию. Если задан генератор кода, у объекта есть параметры по умолчанию для этого генератора кода.

Описание всех опций конфигурации и их значений см. в разделе Свойства pslinkoptions.

Пример: model_opt = pslinkoptions('my_model')

Типы данных: char

Путь к S-функции, определяемый как символьный вектор. Создает объект опций Polyspace с опциями конфигурации для S-функции. Если опции не заданы, объект имеет опции конфигурации по умолчанию.

Описание всех опций конфигурации и их значений см. в разделе Свойства pslinkoptions.

Пример: sfunc_opt = pslinkoptions('path/to/sfunction')

Типы данных: char

Выходные аргументы

свернуть все

Опции конфигурации Polyspace, возвращенные как объект опций. Объект используется с pslinkrun для запуска Polyspace из командной строки MATLAB.

Список свойств объекта см. в разделе Свойства pslinkoptions.

Пример: opts= pslinkoptions('ec')
opts.VerificationSettings = 'Misra'

См. также

| |

Представлен в R2012a

Документация для поиска ошибок Polyspace

Поддержка