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