Обеспечение надежности встраивамых систем с помощью инструментов LDRA
Разработка программного обеспечения повышенной надежности является сложной задачей.
В дополнение к этому, перед разработчиками часто стоит задача разработки программного обеспечения, удовлетворяющего требованиям промышленных стандартов, таких, как:
- DO-178 и КТ-178 в авиации;
- ISO 26262 в автомобилестроении;
- IEC 62304 в медицине;
- EN 50128 на железнодорожном транспорте и IEC 61508 для промышленной автоматизации и управления.
Удовлетворение требований этих стандартов может быть длительным и дорогим процессом, поскольку он требует проведения тщательных и хорошо документированных мероприятий разработки и верификации.
На этом семинаре вы узнаете, каким образом инструменты LDRA помогают разработчикам осуществлять верификацию программного обеспечения в соответствии с требованиями стандартов.
Спикеры
Ведущий инженер ЦИТМ Экспонента по прототипированию алгоритмов в реальном времени, а также по процессам верификации и валидации при проектировании встраиваемых систем повышенной надежности. Михаил имеет квалификацию магистра по специальности "Системный анализ, управление и обработка информации" в МГУЛ. Михаил имеет многолетний опыт работы с инструментами MathWorks в области разработки алгоритмов управления и является профессиональным тренером по модельно-ориентированному проектированию. До перехода в ЦИТМ Экспонента, он работал в мировых автомобильных компаниях, разрабатывая системы управления для двигателей внутреннего сгорания.
Услуги
Сервисы
Продукты
Тренинги
Сферы применения: Встраиваемые системы
