${message}
Курс дает практические навыки тестирования и формальной верификации моделей Simulink для разработки встраиваемых алгоритмов систем повышенной надежности.
Настоятельно рекомендуется предварительное прохождение курсов "MATLAB для профессионалов" и "Simulink для моделирования систем и алгоритмов" или аналогичный опыт с продуктами MATLAB и Simulink.
Продолжительность курса – 1 день.
Модуль 1. Верификация и валидация в модельно-ориентированном проектировании.
Модуль 2. Разработка тестовых векторов.
Модуль 3. Анализ результатов тестирования.
Модуль 4. Выполнение множественных тестов.
Модуль 5. Формальная верификация моделей.
Модуль 1. Верификация и валидация в Модельно-ориентированном проектировании.
В этом модуле будут рассмотрены такие базовые вопросы, как:
В качестве примера будет рассмотрен проект электронной системы управления тягой.
Модуль 2. Разработка тестовых векторов.
В этом модуле будет показано как создавать тестовые вектора для моделей Simulink.
Модуль 3. Анализ результатов тестирования.
В этом модуле рассматриваются такие приемы анализа результатов тестирования, как:
Модуль 4. Выполнение множественных тестов.
В этом модуле объясняется, как автоматизировать последовательное выполнение тестов, а также документирование результатов тестирования.
Модуль 5. Формальная верификация моделей.
В этом модуле рассматривается формальные методы для математического анализа моделей Simulink без тестовых векторов.