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