Модельно-Ориентированное Проектирование для IEC 61508

На данном вебинаре вы узнаете, как инструменты модельно-ориентированного проектирования MATLAB и Simulink применяются при разработке систем повышенной надежности в промышленной автоматизации и машиностроении. Инженер департамента MathWorks Михаил Песельник расскажет о процессе разработки встраиваемых систем по IEC 61508 (ГОСТ Р МЭК 61508) в MATLAB и Simulink.

В ходе вебинара вы узнаете о следующих возможностях инструментов MathWorks:

•Обзор стандарта IEC 61508

•Связь с требованиями

•Моделирование в MATLAB, Simulink, Stateflow

•Доказательство свойств и генерация тестов

•Анализ покрытия модели тестами

•Автоматическая генерация кода

•Проверки на MISRA-C

•Доказательство отсутствия ошибок времени выполнения

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