${message}

${message}

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

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

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

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

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

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

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

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

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

10:00

1месяц до начала

Адрес

Полная карта

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

Спикеры

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

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

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

Задать вопрос

*
Настоящим в соответствии с Федеральным законом № 152-ФЗ «О персональных данных» от 27.07.2006, отправляя данную форму, вы подтверждаете свое согласие на обработку персональных данных . Мы, ООО ЦИТМ "Экспонента" и аффилированные к нему лица, гарантируем конфиденциальность получаемой нами информации. Обработка персональных данных осуществляется в целях эффективного исполнения заказов, договоров и пр. в соответствии с «Политикой конфиденциальности персональных данных». * - обязательные поля