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