Разработка программного обеспечения повышенной надежности является сложной задачей. В дополнение к этому, перед разработчиками часто стоит задача разработки программного обеспечения, удовлетворяющего требованиям промышленных стандартов, таких, как:
Удовлетворение требований этих стандартов может быть длительным и дорогим процессом, поскольку он требует проведения тщательных и хорошо документированных мероприятий разработки и верификации.
Даже если Ваш проект по разработке ПО не попадает под требования стандартов повышенной надежности, но Вы заинтересованы в повышении качества, прозрачности и повторном использовании разработок, то Вы сможете перенять лучшие практики по организации процесса верификации программного обеспечения.
Во время семинара будут затронуты следующие вопросы:
Данный семинар будет полезен для разработчиков и тестировщиков программного обеспечения повышенной надежности, а также для руководителей групп верификации и разработки.
9:30 – 10:00
Регистрация. Приветственный кофе
10:00 – 12:00
Введение в стандарты разработки ПО повышенной надежности
Обзор решений LDRA для соответствия стандартам
Статический анализ
Динамический анализ
12:00 - 12:30
Кофе-брейк
12:30 – 14:30
Управление проектом
Верификация объектного кода
Квалификация инструментов верификации LDRA
14:30 – 15:00
Вопросы и ответы
10:00
Прошло
Михаил Песельник - ведущий инженер ЦИТМ Экспонента по прототипированию алгоритмов в реальном времени, а также по процессам верификации и валидации при проектировании встраиваемых систем повышенной надежности. Михаил имеет квалификацию магистра по специальности "Системный анализ, управление и обработка информации" в МГУЛ. Михаил имеет многолетний опыт работы с инструментами MathWorks в области разработки алгоритмов управления и является профессиональным тренером по модельно-ориентированному проектированию. До перехода в ЦИТМ Экспонента, он работал в мировых автомобильных компаниях, разрабатывая системы управления для двигателей внутреннего сгорания.
${message}