Обеспечение контроля качества ПО и соответствие требованиям функциональной безопасности по ГОСТ Р МЭК 61508

Вебинар проведён совместно компаниями «СВД Встраиваемые Системы», разработчиком защищённой операционной системы реального времени «Нейтрино», и PVS‑Studio, разработчиком одноимённого статического анализатора кода.

Главная тема вебинара — обеспечение функциональной безопасности при разработке встраиваемого ПО в соответствии с требованиями ГОСТ Р МЭК 61508 с использованием «Нейтрино» и PVS‑Studio.

«Нейтрино» и функциональная безопасность

Первым выступает Александр Кузнецов, инструктор учебного центра «СВД Встраиваемые Системы», подготовивший более 400 специалистов по встраиваемым системам.

Александр рассказывает об архитектуре «Нейтрино» — POSIX-совместимой ОСРВ с микроядерной архитектурой, пространственной и временной изоляцией процессов, а также пятистадийной моделью жизненного цикла процесса: загрузка, инициализация, выполнение, штатное и аварийное завершение.

В докладе рассматриваются требования МЭК 61508, в частности частей 3 и 7, к жизненному циклу разработки ПО, V-модели и квалификации персонала. Отдельное внимание уделяется выбору языков программирования, стандартам кодирования MISRA и применению статического анализа.

Также Александр рассказывает об интеграции комплекса разработки «Нейтрино» с PVS‑Studio.

Статический анализ и стандарты безопасности

Далее выступает Александра Уварова, разработчик анализатора C++ и Developer Advocate в PVS‑Studio.

Она разбирает связь между стандартами функциональной безопасности и стандартами кодирования: ГОСТ Р МЭК 61508 для промышленной автоматизации, ИСО 26262 для автомобильной электроники, MISRA C 2012/2023 и MISRA C++ 2023.

Отдельная часть доклада посвящена принципам работы статического анализа. Рассматриваются построение абстрактного синтаксического дерева (AST), потоковый анализ данных (data flow analysis), отслеживание типов и диапазонов значений переменных, а также различия между базовыми синтаксическими проверками и более глубоким анализом на основе абстрактной интерпретации.

PVS‑Studio 8.0 и функциональная безопасность

Третий доклад представляет Андрей Карпов, сооснователь и директор по развитию бизнеса PVS‑Studio.

Андрей рассказывает о версии PVS‑Studio 8.0: к существующей поддержке C, C++, C# и Java добавились новые движки анализа для Go, JavaScript и TypeScript. Также он рассматривает развитие поддержки стандартов MISRA C 2012–2023 и дальнейшие направления развития продукта.

Отдельно обсуждаются перспективы сертификации и квалификации инструмента для использования в проектах, разрабатываемых в соответствии с требованиями МЭК 61508 и ISO 26262.

Специальное предложение

В завершение вебинара представлены специальные пакетные предложения — комплекты «Нейтрино» и лицензий PVS‑Studio.

Доступны варианты для команд до 9 разработчиков и для команд от 10 до 30 разработчиков. На комплекты действуют специальные условия до конца 2026 года.