Разработка программного обеспечения повышенной надежности является сложной задачей.

 В дополнение к этому, перед разработчиками часто стоит задача разработки программного обеспечения, удовлетворяющего требованиям промышленных стандартов, таких, как:   

  • DO-178 и КТ-178 в авиации; 
  • ISO 26262 в автомобилестроении; 
  • IEC 62304 в медицине; 
  • EN 50128 на железнодорожном транспорте и IEC 61508 для промышленной автоматизации и управления.


Удовлетворение требований этих стандартов может быть длительным и дорогим процессом, поскольку он требует проведения тщательных и хорошо документированных мероприятий разработки и верификации.


На этом семинаре вы узнаете, каким образом инструменты LDRA помогают разработчикам осуществлять верификацию программного обеспечения в соответствии с требованиями стандартов.

27 ноября
Понедельник
Москва

11:00

Прошло

Адрес

Полная карта

2й Южнопортовый проезд, д. 31с4

Спикеры

Михаил Песельник Михаил Песельник

Михаил Песельник - ведущий инженер ЦИТМ Экспонента по прототипированию алгоритмов в реальном времени, а также по процессам верификации и валидации при проектировании встраиваемых систем повышенной надежности. Михаил имеет квалификацию магистра по специальности "Системный анализ, управление и обработка информации" в МГУЛ. Михаил имеет многолетний опыт работы с инструментами MathWorks в области разработки алгоритмов управления и является профессиональным тренером по модельно-ориентированному проектированию. До перехода в ЦИТМ Экспонента, он работал в мировых автомобильных компаниях, разрабатывая системы управления для двигателей внутреннего сгорания.

Сферы применения

Поделиться

${message}

${message}