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

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

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

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

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

Во время вебинара будут затронуты следующие вопросы:

  • Введение в стандарты разработки ПО повышенной надежности
  • Обзор решений LDRA для соответствия стандартам
  • Трассируемость между артефактами разработки
  • Проверки на стандарты кодирования и метрики
  • Анализ потоков данных и управления
  • Верификация объектного кода
  • Анализ покрытия кода тестами
  • Демонстрация рабочего процесса
  • Квалификация инструментов верификации LDRA

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

Спикеры

Дмитрий Шидловский
Дмитрий Шидловский
Дмитрий Шидловский

Руководитель проектов ЦОС и систем связи. Работает в ЦИТМ Экспонента с 2010 года, использует MATLAB и модельно-ориентированное проектирование на практике в реальных проектах. Специалист по системам связи, генерации HDL кода и внедрению модельно-ориентированного проектирования на предприятиях России и стран СНГ

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

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

Услуги

Продукты

Тренинги

Сферы применения: Встраиваемые системы