Exponenta Banner

pslinkoptions

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

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

Синтаксис

opts = pslinkoptions(codegen)
opts = pslinkoptions(model)
opts = pslinkoptions(sfunc)

Описание

пример

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

пример

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

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

Примечание

Прежде чем запускать Polyspace® из MATLAB®необходимо связать установки Polyspace и MATLAB. Смотрите Интегрировать Polyspace с MATLAB и Simulink (Polyspace Code Prover).

Примеры

свернуть все

Этот пример использует:

Открыть Live Script

Загрузка closed_loop_control и создайте объект Polyspace ® options из модели :

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 ® options под названием new_opt с Embedded 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 ® options под названием 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' для Embedded Coder или 'tl' для TargetLink®. Каждый аргумент создает Объект опций Polyspace со свойствами, характерными для этого генератора кода.

Описание всех опций строения и их значений смотрите в pslinkoptions Properties (Polyspace Code Prover).

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

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

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

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

Описание всех опций строения и их значений смотрите в pslinkoptions Properties (Polyspace Code Prover).

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

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

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

Описание всех опций строения и их значений смотрите в pslinkoptions Properties (Polyspace Code Prover).

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

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

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

свернуть все

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

Список свойств объектов см. в pslinkoptions Properties (Polyspace Code Prover).

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

См. также

(Polyspace Code Prover)

Введенный в R2012a

Документация Simulink

Поддержка