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