•  

    Новостная рассылка

    Подпишитесь и получайте самые свежие новости.
    Подписаться на новостную рассылку
    • Главная
    • >
    • Семинары
    • >
    • Верификация программного обеспечения в соответствии с требованиями

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

    6 декабря 2018
    10:00
    Мероприятие бесплатное
    Регистрация обязательна
    и заканчивается за сутки до начала мероприятия

    Михаил Песельник, ведущий инженер ЦИТМ Экспонента

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

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

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


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

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

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

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


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

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


    Регистрация на данное мероприятие доступно на Exponenta.ru

    Подробная программа семинара

    9:30 - 10:00

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


    10:00 - 12:00

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

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

    12:00 - 12:30 

    Кофе-брейк


    12:30 - 14:00

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

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

     

    • 10:00
      Москва, 2-й Южнопортовый проезд, д. 31, стр. 4
    • Регистрация закрыта