Моделирование требований

Модель и проверяет доказательство свойства использования конструктивных требований

Блоки

Proof AssumptionОграничьте значения сигналов при доказательстве свойств модели
Proof ObjectiveЗадайте цели, которым сигналы должны удовлетворить при доказательстве свойств модели
AssertionПроверяйте, является ли сигнал нулем
DetectorОбнаружьте истинную длительность на входе и создайте выход истинная длительность на основе выходного типа
ExtenderРасширьте истинную длительность входа
ImpliesЗадайте условие, которое производит определенный ответ
Within ImpliesПроверьте, что ответ происходит в желаемой длительности
Verification SubsystemЗадайте доказательство или цели тестирования, не влияя на результаты симуляции или сгенерированный код

Функции

sldv.assumeПредположение доказательства функционирует для диаграмм Stateflow и блоков MATLAB function
sldv.proveФункция цели доказательства для диаграмм Stateflow и блоков MATLAB function
sldvextractИзвлеките подсистему или содержимое субдиаграммы в новую модель для анализа
sldvoptionsСоздайте объект опций верификации проекта
sldvrunМодель Analyze
sldvreportСгенерируйте отчет Simulink Design Verifier

Темы

Что доказывает свойство?

Краткий обзор доказательства свойств.

Рабочий процесс для доказательства свойств модели

Обрисовывает в общих чертах процесс для доказательства свойств вашей модели.

Докажите свойства в модели

Обеспечивает пример, который обходит вас посредством процесса доказательства свойств модели.

Докажите свойства уровня системы Используя модель верификации

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

Докажите свойства в подсистеме

Объясняет, как доказать свойства в подсистеме.

Отладьте нарушения доказательства свойства при помощи ножа модели

Отладьте свойство, доказывающее Нож Модели использования нарушений

Спроектируйте и проверьте свойства в модели

Можно использовать Simulink® Design Verifier™, чтобы смоделировать конструктивные требования как свойства и затем доказать свойства в модели.

Ограничительные значения параметра

Обзор настройки параметра для анализа Simulink® Design Verifier™.

Требования модели

Библиотека блоков Simulink Design Verifier включает подбиблиотеку Example Properties.

Задайте ограничительные значения для параметров

Пример того, как задать параметры как переменные для анализа.

Задайте ограничительные значения параметра для полного охвата

Пример того, как задать ограничительные значения параметра, чтобы достигнуть полного покрытия модели.

Панель верификатора проекта: доказательство свойства

Задайте опции, которые управляют, как Simulink Design Verifier доказывает свойства для моделей, которые он анализирует.

Панель верификатора проекта: Параметры

Задайте опции, которые управляют, как Simulink Design Verifier использует настройки параметра при анализе моделей.

Рассмотрите результаты анализа

Рассмотрите результаты анализа в  окне Simulink Design Verifier Results Summary.

Что такое Модель Спецификации?

Обзор модели спецификации и ее использования в основанной на требованиях верификации.

Рекомендуемые примеры

Для просмотра документации необходимо авторизоваться на сайте