Во время разработки модели проверьте и проанализируйте модель, чтобы повысить уверенность в ее качестве. Проверьте модель на соответствие таким стандартам, как руководство по стилю MAB и руководство по проектированию систем с высокой степенью целостности, например DO-178 и ISO 26262. Проанализируйте модель на наличие ошибок, неработающей логики и условий, нарушающих требуемые свойства. С помощью результатов анализа обновите модель и исключения документа. Сообщите результаты с помощью настраиваемых шаблонов.
В этом примере показано, как использовать Model Advisor для проверки модели круиз-контроля для нарушений правил и ошибок проектирования в стиле Консультативного совета MathWorks ® (MAB). Выберите проверки и выполните анализ в модели. Выполните итерационную отладку проблем с помощью Model Advisor и повторно запустите проверки соответствия. После прохождения выбранных проверок сообщите о результатах.
В Model Advisor можно проверить соответствие модели рекомендациям по моделированию MAB.
Создайте копию проекта в рабочей папке. В командной строке введите
path = fullfile(matlabroot,'toolbox','shared','examples',... 'verification','src','cruise') run(fullfile(path,'slVerificationCruiseStart'))
Откройте модель. В командной строке введите
open_system simulinkCruiseErrorAndStandardsExample
На вкладке Моделирование (Modeling) выберите Помощник по модели (Model Advisor).
Нажмите кнопку ОК, чтобы выбрать simulinkCruiseErrorAndStandardsExample из иерархии системы.
Проверьте модель на наличие нарушений правил стиля MAB с помощью Simulink ® Check™.
На левой панели в папке «По продукту» > «Simulink Check» > «Modeling Standards» > «MAB Check» выберите:
Проверка режима индексирования
Проверка диагностических параметров модели
Щелкните правой кнопкой мыши узел Проверки MAB и выберите Run Selected Checks.
Для просмотра настроек параметров конфигурации, нарушающих правила стиля MAB, нажмите кнопку Check model diagnostic parameters (Проверить параметры диагностики модели). Результаты анализа отображаются на правой панели и содержат рекомендуемое действие.
Щелкните гиперссылки параметров, которые откроют диалоговое окно Параметры конфигурации (Configuration Parameters), и обновите параметры диагностики модели. Сохраните модель.
Чтобы убедиться, что модель пройдена, повторно запустите проверку. Повторить шаги c и d, при необходимости, для достижения соответствия.
Чтобы создать отчет о результатах проверок Simulink Check, выберите узел Проверки MAB, а затем в правой области щелкните Создать отчет....
В приложении Model Advisor можно также проверить модель на наличие скрытых конструктивных ошибок с помощью Simulink Design Verifier™.
На левой панели в папке «По продуктам > Simulink Design Verifier» выберите «Design Error Detection».
Если флажок еще не установлен, установите флажок «Обнаружение ошибок конструкции». Выбраны все чеки в папке.
На правой панели выберите Показать отчет после выполнения и Выполнить выбранные проверки.
В созданном отчете щелкните ссылку Сводка результатов Simulink Design Verifier. Диалоговое окно предоставляет инструменты для диагностики ошибок и предупреждений в модели.
Просмотрите результаты анализа модели. Щелкните Подсветить результаты анализа на модели (Highlight analysis results on model). Щелкните значок Compute target speed подсистема, обозначенная красным цветом. Окно Инспектора Результатов Свидетельства Дизайна Simulink обеспечивает полученные диапазоны, которые могут помочь Вам понять источник ошибки, определив возможные ценности сигнала.
Просмотрите модель электрического жгута или создайте ее, если она еще не существует.
Просмотр и экспорт тестов.
Просмотрите отчет об анализе. Чтобы просмотреть подробный отчет об анализе, щелкните HTML или PDF.