10 сентября

Применение ЗОСРВ «Нейтрино» и PVS-Studio для разработки ПО согласно требованиям МЭК 61508

На вебинаре разобрали подходы к разработке функционально безопасного ПО для ЗОСРВ «Нейтрино» в соответствии с требованиями МЭК 61508 и показали, какую роль в этом процессе играют инструменты статического анализа.

В первой части поговорили о принципах разработки ПО для «Нейтрино», рассмотрели требования МЭК 61508 к инструментальным средствам и продемонстрировали работу PVS-Studio в комплекте разработчика «Нейтрино».

Во второй части подробнее остановились на статическом анализе как инструменте для обеспечения безопасности. Разобрали требования МЭК 61508 и МЭК 26262, их связь со стандартами MISRA и рассмотрели, как PVS-Studio помогает контролировать качество и соответствие кода требованиям стандартов.

В завершение рассказали о новой мажорной версии PVS-Studio 8.0: рассмотрели ключевые изменения и нововведения релиза и обозначили дальнейшие направления развития инструмента, включая функциональную безопасность.

Автор: PVS-Studio

PVS-Studio — статический анализатор кода для языков С, С++, С#, Java, Go, JavaScript и TypeScript. Инструмент помогает искать ошибки в коде и является SAST-решением, т.е. выявляет и дефекты безопасности. Уже 18 лет продукт помогает сотням компаний по всему миру улучшать качество и надежность исходного кода. В анализаторе более 1,3 тыс. диагностических правил. Поддерживается их классификация по CWE, SEI CERT Coding Standards, OWASP ASVS, MISRA C:2012, MISRA C:2023, MISRA C++:2008 и MISRA C++:2023. PVS-Studio соответствует требованиям к статическим анализаторам, перечисленным в ГОСТ Р 71207-2024 и методическом документе ЦБ РФ "Профиль защиты". Используется при построении и сертификации процессов РБПО по ГОСТ Р 56939—2024.

Комментарии: