В этом примере показано, как использовать блок привязки наблюдателя для выполнения анализа свойств с несколькими свойствами без внесения изменений в модель. В этом примере существующая подсистема проверки заменяется опорным блоком Observer. Однако в модель можно добавить опорный блок Observer, даже если у модели нет подсистемы проверки для замены. Дополнительные сведения см. в разделе Беспроводной доступ к данным модели с помощью наблюдателей (Simulink Test).
Модель sldvdemo_debounce_validprop сконфигурирован для анализа и попыток доказать, что:
Если текущее и шесть предыдущих входных значений являются истинными, то выходные данные будут истинными.
Если текущее и шесть предыдущих входных значений имеют значение false, то выходные данные будут иметь значение false.
Подробное описание опорного блока Observer см. в разделе Изоляция логики проверки с наблюдателями.
sldvdemo_debounce_validprop модель содержит подсистему проверки, называемую Verify Output. Дополнительные сведения о подсистеме проверки см. в разделе Подсистема проверки. Чтобы открыть модель, введите:
open_system('sldvdemo_debounce_validprop');
Выполните следующие действия, чтобы создать новый опорный блок Observer и заменить подсистему проверки вывода.
1. Щелкните правой кнопкой мыши подсистему «Verify Output». В контекстном меню выберите "Наблюдатели" > "Переместить выбранный блок в" Наблюдатель ">" Новый наблюдатель ".
2. Нажмите кнопку Да (Yes) в появившемся диалоговом окне.
3. Опорный блок Observer заменяет подсистему проверки. Откроется модель sldvdemo_denounce_validprop_Observer1| Observer.
4. Сохранить sldvdemo_debounce_validprop_Observer1 в доступной для записи папке по пути MATLAB.
5. Дважды щелкните один из блоков порта наблюдателя, чтобы открыть окно Управление блоком наблюдателя. Два сигнала, disbounce и raw, автоматически отображаются на два блока порта наблюдателя в sldvdemo_debounce_validprop_Observer1 Модель наблюдателя.
Чтобы выполнить анализ проверки свойств, выполните следующие действия.
1. В модели верхнего уровня, на вкладке Design Verifier, нажмите Доказать свойства.
2. После того, как анализ заканчивает, окно Резюме Результатов Свидетельства Дизайна Simulink сообщает, что удовлетворены две цели.
3. Откройте отчет HTML-анализа для просмотра подробного отчета, содержащего информацию о модели верхнего уровня и наблюдателях.
Отчет об анализе показывает информацию о свойствах Observer в разделе Observer Model (s) главы Properties.
Закройте модель.
bdclose('all');