Model-Based Design for DO-178C
Mikhail Peselnik, Softline
На данном вебинаре вы узнаете, как инструменты модельно-ориентированного проектирования MATLAB и Simulink применяются при разработке систем повышенной надежности в авиационной промышленности. Инженер департамента MathWorks Михаил Песельник расскажет о процессе разработки встраиваемых систем по DO-178C в MATLAB и Simulink.
В ходе вебинара вы узнаете о следующих возможностях инструментов MathWorks:
- Что нового в DO-178C?
- Связь с требованиями
- Моделирование в MATLAB, Simulink, Stateflow
- Доказательство свойств и генерация тестов
- Анализ покрытия модели тестами
- Автоматическая генерация кода
- Проверки на MISRA-C
- Доказательство отсутствия ошибок времени выполнения
В ходе вебинара будет продемонстрирован пример рабочего процесса разработки системы повышенной надежности. Это позволит вам получить высокоуровневое понимание доступных инструментов и возможностей их применения в ваших проектах.
Recorded: 26 Sep 2013
Featured Product
