10.7-2013 программное обеспечение высокой степени интеграции, работающее не в режиме реального времени@, отвечающее требованиям разработчиков атомной отрасли
«Этот стандарт устанавливает минимальные требования для обеспечения того, чтобы программное обеспечение с высокой степенью интеграции, разработанное для использования в атомной отрасли, соответствовало современным ожиданиям в отношении качества. Требования в этом стандарте указаны для разработки программного обеспечения с высокой степенью интеграции. Цель состоит в том, чтобы установить минимальный уровень обеспечения качества и требования к важнейшим техническим процессам для выполнения комплексной проверки. NUREG/CR 6263[1]@1), на основе которого вытекают многие требования настоящего стандарта@, был разработан для применения на атомных электростанциях@ и Этот стандарт в первую очередь применим к атомным электростанциям и другим ядерным установкам и операциям с аналогичными высокими последствиями и опасностями. Этот стандарт касается строгой@ систематической разработки высоконадежного@ анализа безопасности не в режиме реального времени@ проектирования@ и программного обеспечения для моделирования, которое включает в себя расчеты или моделирование, требующее высокой функциональной надежности, чтобы избежать необнаруженных ошибок, которые могут иметь серьезные последствия, если такие ошибки не будут обнаружены (область применения настоящего стандарта не включает электронные процедуры). Особенно важно соблюдать этот стандарт в тех случаях, когда расчеты настолько сложны, что обычные экспертные оценки вряд ли выявят ошибки. Для сложного программного обеспечения ручные вычисления и сравнения кодов могут оказаться недостаточными для проверки и подтверждения программного обеспечения. Сюда может входить программное обеспечение, используемое для ядерного проектирования и анализа; анализ постулируемых аварий и присвоение уровней классификации безопасности системам@конструкциям@ и элементам объектов использования атомной энергии; вычислительная гидродинамика (CFD); теплогидравлика; строительная механика; сложные симуляции Монте-Карло; радиационная дозиметрия; и ядерные медицинские применения. Важной областью, охватываемой настоящим стандартом, является разработка и проверка моделей (включая физическую проверку)@, которые являются критически важными задачами для программного обеспечения для высокоинтегрального анализа и моделирования. Требования настоящего стандарта к разработке и проверке моделей учитывают несколько стандартов разработки вычислительных моделей и методов, включая ANSI/ASME VV 10-2006 [2] @ AIAA G-077-1998 (2002)[3]; План пересмотра стандартов Комиссии по ядерному регулированию США (NRC)@ NUREG-0800@ Раздел. 15.0.2[4]; и Нормативное руководство NRC 1.203 [5]. Настоящий стандарт устанавливает требования, необходимые для валидации модели, определяя требования к разработке и валидации модели, за исключением того, что он не затрагивает фактическое планирование@ проектирование@ и проведение проверочных испытаний/экспериментов. Кибербезопасность является еще одним важным аспектом программного обеспечения с высокой степенью интеграции и подробно рассматривается в этом стандарте. Требования этого стандарта к требованиям безопасности были в основном взяты из Нормативного руководства NRC 1.152 [6]. 1) Цифры в скобках относятся к соответствующим цифрам в разд. 18@ ""Ссылки."""