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

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