•  
    Ближайшие события

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

    Подпишитесь и получайте самые свежие новости.
    Подписаться на новостную рассылку
    • Главная
    • >
    • Семинары
    • >
    • Обеспечение надежности встраивамых систем с помощью инструментов LDRA

    Обеспечение надежности встраивамых систем с помощью инструментов LDRA

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

    Михаил Песельник, ведущий инженер департамента MathWorks

    Михаил Песельник - ведущий инженер департамента MathWorks по прототипированию алгоритмов в реальном времени, а также по процессам верификации и валидации при проектировании встраиваемых систем повышенной надежности. Михаил имеет квалификацию магистра по специальности "Системный анализ, управление и обработка информации" в МГУЛ. Михаил имеет многолетний опыт работы с инструментами MathWorks в области разработки алгоритмов управления и является профессиональным тренером по модельно-ориентированному проектированию. До перехода в департамент MathWorks, он работал в мировых автомобильных компаниях, разрабатывая системы управления для двигателей внутреннего сгорания.
    Разработка программного обеспечения повышенной надежности является сложной задачей. В дополнение к этому, перед разработчиками часто стоит задача разработки программного обеспечения, удовлетворяющего требованиям промышленных стандартов, таких, как:  
    • DO-178 и КТ-178 в авиации; 
    • ISO 26262 в автомобилестроении; 
    • IEC 62304 в медицине; 
    • EN 50128 на железнодорожном транспорте и IEC 61508 для промышленной автоматизации и управления.

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

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

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