Модельно-Ориентированное Проектирование для IEC 61508
На данном вебинаре вы узнаете, как инструменты модельно-ориентированного проектирования MATLAB и Simulink применяются при разработке систем повышенной надежности в промышленной автоматизации и машиностроении. Инженер департамента MathWorks расскажет о процессе разработки встраиваемых систем по IEC 61508 (ГОСТ Р МЭК 61508) в MATLAB и Simulink.
В ходе вебинара вы узнаете о следующих возможностях инструментов MathWorks:
- Обзор стандарта IEC 61508
- Связь с требованиями
- Моделирование в MATLAB, Simulink, Stateflow
- Доказательство свойств и генерация тестов
- Анализ покрытия модели тестами
- Автоматическая генерация кода
- Проверки на MISRA-C
- Доказательство отсутствия ошибок времени выполнения
Во время вебинара будет продемонстрирован пример рабочего процесса разработки системы повышенной надежности. Это позволит вам получить высокоуровневое понимание доступных инструментов и возможностей их применения в ваших проектах.
Спикеры
Ведущий инженер ЦИТМ Экспонента по прототипированию алгоритмов в реальном времени, а также по процессам верификации и валидации при проектировании встраиваемых систем повышенной надежности. Михаил имеет квалификацию магистра по специальности "Системный анализ, управление и обработка информации" в МГУЛ. Михаил имеет многолетний опыт работы с инструментами MathWorks в области разработки алгоритмов управления и является профессиональным тренером по модельно-ориентированному проектированию. До перехода в ЦИТМ Экспонента, он работал в мировых автомобильных компаниях, разрабатывая системы управления для двигателей внутреннего сгорания.
Услуги
Сервисы
Продукты
Сферы применения: Другое
