${message}

Верификация программного обеспечения в соответствии с требованиями

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

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

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


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


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

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

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

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


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


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

9:30 - 10:00

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

10:00 - 12:00

Первая часть:

  • Введение в стандарты разработки ПО повышенной надежности 
  • Обзор решений LDRA для соответствия стандартам 
  • Статический анализ 
    • Стандарты кодирования 
    • Метрики качества кода 
    • Графы потоков данных и потоков управления 
  • Динамический анализ
    • Создание и управление тестами 
    • Анализ покрытия кода тестами 
    • Покрытие связей по данным и управлению 

 

12:00 - 12:30 

Кофе-брейк 

 

12:30 - 14:00 

Вторая часть: 

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

 

 

Данное мероприятие проводится исключительно для профессионалов отрасли, участвующих в реальных разработках, связанных с тематикой семинара или планирующих подобные разработки.

  

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

 



Поделиться
06 декабря
Четверг
Москва

10:00

Прошло

Адрес

Полная карта

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

Спикеры

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

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

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

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

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