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