Задайте проверки на поддерживаемые или неподдерживаемые блоки и параметры

Для руководств по моделированию, таких как MAAB или MISRA, которые требуют, чтобы вы использовали подмножество блока или значений параметров, можно создать регистрации Model Advisor, которые вы задаете эти ограничения:

Поддерживаемые или неподдерживаемые значения параметров блоков
Поддерживаемые или неподдерживаемые значения параметра модели
Поддерживаемые или неподдерживаемые блоки
Проверяйте на или блоки, или параметры соответствуют комбинации ограничений

Можно также создать ограничения, которые проверяют на необходимые как условие ограничения прежде, чем проверять фактическое ограничение. Можно проверять модель по этим ограничениям, как вы редактируете или осуществляете проверки в интерактивном режиме после того, как вы завершаете свой образцовый проект.

Пример

Модель sldemo_bounce моделирует шар, возвращающийся на Земле. В этом примере вы создаете две проверки Model Advisor, состоящие из ограничений. Затем проверяйте свою модель по тем ограничениям.

Создайте ограничения параметров блоков

Создайте эти ограничения параметров блоков:
```
c1=Advisor.authoring.PositiveBlockParameterConstraint;
c1.ID='ID_1';
c1.BlockType='Gain';
c1.ParameterName='Gain';
c1.SupportedParameterValues={'-.7'};
c1.ValueOperator='eq';
```
```
c2=Advisor.authoring.NegativeBlockParameterConstraint;
c2.ID='ID_2';
c2.BlockType='InitialCondition';
c2.ParameterName='Value';
c2.UnsupportedParameterValues={'0'};
c2.ValueOperator='le';
```
Ограничительный c1 указывает, что блок Gain должен иметь значение, равное -.7. Ограничительный c2 указывает, что блок Initial Condition должен иметь значение, меньше чем или равное нулю.
Создайте это положительное ограничение параметра модели.
```
c3=Advisor.authoring.PositiveModelParameterConstraint;
c3.ID='ID_3';
c3.ParameterName='SolverType';
c3.SupportedParameterValues={'Variable-step'};
```
Ограничительный c3 указывает, что параметр Solver должен быть равен Variable-step.

Создайте это положительное блочное ограничение:

c4=Advisor.authoring.PositiveBlockTypeConstraint;
c4.ID='ID_5';
s1=struct('BlockType','Constant','MaskType','');
s2=struct('BlockType','Subsystem','MaskType','');
s3=struct('BlockType','InitialCondition','MaskType','');
s4=struct('BlockType','Gain','MaskType','');
s5=struct('BlockType','Memory','MaskType','');
s6=struct('BlockType','SecondOrderIntegrator','MaskType','');
s7=struct('BlockType','Terminator','MaskType','');
c4.SupportedBlockTypes={s1;s2;s3;s4;s5;s6;s7;};
c4.addPreRequisiteConstraintID('ID_3');

Ограничение c4 задает поддерживаемые блоки. Ограничительный c3 является предпосылкой к c4, означающему, что Model Advisor только проверяет c4, если c3 передает.

Создайте файл данных, который содержит эти ограничения. Этот файл данных соответствует одной проверке Model Advisor.

Advisor.authoring.generateBlockConstraintsDataFile( ...
               'sldemo_constraints_1.xml','constraints',{c1,c2,c3,c4});

Файл данных содержит маркировку специально для ограничений.

<?xml version="1.0" encoding="utf-8"?>
<customcheck>
   <checkdata>
      <PositiveBlockParameterConstraint BlockType="Gain" id="ID_1">
         <parameter type="string">Gain</parameter>
         <value>-.7</value>
         <operator>eq</operator>
      </PositiveBlockParameterConstraint>
      <NegativeBlockParameterConstraint BlockType="InitialCondition" id="ID_2">
         <parameter type="string">Value</parameter>
         <value>0</value>
         <operator>le</operator>
      </NegativeBlockParameterConstraint>
      <PositiveModelParameterConstraint id="ID_3">
         <parameter type="enum">SolverType</parameter>
         <value>Variable-step</value>
      </PositiveModelParameterConstraint>
      <PositiveBlockTypeConstraint id="ID_5">
         <BlockType MaskType="">Constant</BlockType>
         <BlockType MaskType="">Subsystem</BlockType>
         <BlockType MaskType="">InitialCondition</BlockType>
         <BlockType MaskType="">Gain</BlockType>
         <BlockType MaskType="">Memory</BlockType>
         <BlockType MaskType="">SecondOrderIntegrator</BlockType>
         <BlockType MaskType="">Terminator</BlockType>
         <dependson>ID_3</dependson>
      </PositiveBlockTypeConstraint>
      <CompositeConstraint>
         <ID>ID_1</ID>
         <ID>ID_2</ID>
         <ID>ID_5</ID>
         <operator>and</operator>
      </CompositeConstraint>
   </checkdata>
</customcheck>

Примечание

Для образцовых ограничений параметра конфигурации используйте метод Advisor.authoring.generateBlockConstraintsDataFile только при определении образцовых ограничений параметра конфигурации как предпосылок, чтобы блокировать ограничения или как часть составного ограничения, состоящего из блока и образцовых ограничений параметра конфигурации. Для других случаев используйте метод Advisor_authoring.generateConfigurationParameterDatafile.

Создайте два ограничения параметров блоков и составное ограничение.
```
cc1=Advisor.authoring.PositiveBlockParameterConstraint;
cc1.ID='ID_cc1';
cc1.BlockType='SecondOrderIntegrator';
cc1.ParameterName='UpperLimitX';
cc1.SupportedParameterValues={'inf'};
cc1.ValueOperator='eq';

cc2=Advisor.authoring.PositiveBlockParameterConstraint;
cc2.ID='ID_cc2';
cc2.BlockType='SecondOrderIntegrator';
cc2.ParameterName='LowerLimitX';
cc2.SupportedParameterValues={'0.0'};
cc2.ValueOperator='eq';

cc=Advisor.authoring.CompositeConstraint;
cc.addConstraintID('ID_cc1');
cc.addConstraintID('ID_cc2');
cc.CompositeOperator='and';
```
Ограничительный cc1 указывает, что для блока Second-Order Integrator, параметр Upper limit x должен иметь значение, равное inf. Ограничительный cc2 указывает, что для блока Second-Order Integrator, параметр Lower limit x должен иметь равное нулю значение. Ограничительный cc указывает, что для этой проверки, чтобы передать, и cc1 и cc2 должны передать.
Создайте файл данных, который содержит эти ограничения. Этот файл данных соответствует второй проверке Model Advisor.
```
Advisor.authoring.generateBlockConstraintsDataFile( ...
               'sldemo_constraints_2.xml','constraints',{cc1,cc2,cc});
```

Создайте проверки Model Advisor из ограничений

Чтобы задать и указать эти проверки, используйте этот файл sl_customization.m.

function sl_customization(cm)

% register custom checks.
cm.addModelAdvisorCheckFcn(@defineModelAdvisorChecks);

% register items to factory group.
cm.addModelAdvisorTaskFcn(@defineModelAdvisorGroups);


% defineModelAdvisorChecks
function defineModelAdvisorChecks

% check1
rec = Advisor.authoring.createBlockConstraintCheck('mathworks.check_0001');
rec.Title = 'Example1: Check block parameter constraints';
rec.setCallbackFcn(@(system)(Advisor.authoring.CustomCheck.checkCallback...
    (system)), 'None', 'StyleOne');
rec.TitleTips = 'Example check block parameter constraints';

% --- data file input parameters
rec.setInputParametersLayoutGrid([1 1]);
inputParam1 = ModelAdvisor.InputParameter;
inputParam1.Name = 'Data File';
inputParam1.Value = 'sldemo_constraints_1.xml';
inputParam1.Type = 'String';
inputParam1.Description = 'Name or full path of XML data file.';
inputParam1.setRowSpan([1 1]);
inputParam1.setColSpan([1 1]);
rec.setInputParameters({inputParam1});
rec.SupportExclusion = false;
rec.SupportLibrary = true;

% check2
rec1 = Advisor.authoring.createBlockConstraintCheck('mathworks.check_0002');
rec1.Title = 'Example2: Check block parameter constraints';
rec1.setCallbackFcn(@(system)(Advisor.authoring.CustomCheck.checkCallback...
    (system)), 'None', 'StyleOne');
rec1.TitleTips = 'Example check block parameter constraints';

% --- data file input parameters
rec1.setInputParametersLayoutGrid([1 1]);
inputParam1 = ModelAdvisor.InputParameter;
inputParam1.Name = 'Data File';
inputParam1.Value = 'sldemo_constraints_2.xml';
inputParam1.Type = 'String';
inputParam1.Description = 'Name or full path of XML data file.';
inputParam1.setRowSpan([1 1]);
inputParam1.setColSpan([1 1]);
rec1.setInputParameters({inputParam1});
rec1.SupportExclusion = false;
rec1.SupportLibrary = true;
mdladvRoot = ModelAdvisor.Root;
mdladvRoot.register(rec);
mdladvRoot.register(rec1);

%% defineModelAdvisorGroups
function defineModelAdvisorGroups
mdladvRoot = ModelAdvisor.Root;

% --- sample factory group 1
rec = ModelAdvisor.FactoryGroup('com.mathworks.Test.factoryGroup');
rec.DisplayName='Example: My Group';
rec.addCheck('mathworks.check_0001');
rec.addCheck('mathworks.check_0002');

mdladvRoot.publish(rec);

Необходимо использовать функцию Advisor.authoring.createBlockConstraintCheck, чтобы создать объект ModelAdvisor.Check и задать ограничительный файл данных как входной параметр к этому объекту.

В командной строке тип создает Example1: Check block parameter constraints, и Example2: Check block parameter constraints проверяет ввод этой команды:
```
Advisor.Manager.refresh_customizations
```
В командной строке введите sldemo_bounce.
Чтобы открыть Model Advisor, от окна модели, выбирают Analysis > Model Advisor > Model Advisor
На левой панели выберите By Task > Example: My Group. Для каждой проверки, на правой панели, параметры Data File устанавливаются на файлы данных, которые вы ранее создали.
Нажмите Run Selected Checks.
Проверка Example1: Check block parameter constraints производит предупреждение, потому что блок Gain имеет значение -0.8 не -0.7. Проверка Example2: Check block parameter constraints передает, потому что блок Second-Order Integrator соответствует обоим ограничениям.

Можно использовать разовую редактированием проверку собственные проверки что ограничения параметра и блок define. Чтобы включить разовую редактированием проверку, в Model Advisor Configuration Editor, выбирают проверки, которые содержат ограничения. Для получения дополнительной информации о разовой редактированием проверке смотрите, Проверяют Соответствие Модели при помощи Model Advisor.

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