Меню
На этом семинаре вы узнаете, каким образом инструменты LDRA помогают разработчикам осуществлять верификацию программного обеспечения в соответствии с требованиями стандартов (вплоть до DO-178C Level A и IEC 61508 SIL4).

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

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

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

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

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

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

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


Подробная программа:

9:30 – 10:00 

Регистрация. Приветственный кофе


10:00 – 12:00 

Введение в стандарты разработки ПО повышенной надежности

Обзор решений LDRA для соответствия стандартам

Статический анализ

  • Стандарты кодирования
  • Метрики качества кода
  • Графы потоков данных и потоков управления

Динамический анализ

  • Создание и управление тестами
  • Анализ покрытия кода тестами
  • Покрытие связей по данным и управлению


12:00 - 12:30

Кофе-брейк


12:30 – 14:30

Управление проектом

  • Импорт требований
  • Трассируемость между требованиями, кодом и тестами
  • Управление конфигурацией и базовые версии
  • Роли и задачи
  • Автоматизация тестирования и системное тестирование
  • Матрица трассируемости
  • Анализ изменений
  • Генерация отчетов

Верификация объектного кода

Квалификация инструментов верификации LDRA


14:30 – 15:00

Вопросы и ответы

03 декабря
Вторник
Москва

10:00

Прошло

Адрес

Полная карта

г. Москва, 2-й Южнопортовый проезд, 31, стр. 4

Спикеры

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

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

Продукты

LDRA

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

Встраиваемые системы
Поделиться
Выберите компанию из списка
Новый email

${message}

${message}