Скачать ГОСТ Р МЭК 60880-2010 Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории АДата актуализации: 10.08.2017 ГОСТ Р МЭК 60880-2010Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории АОбозначение: | ГОСТ Р МЭК 60880-2010 | Обозначение англ: | GOST R IEC 60880-2010 | Статус: | действует | Название рус.: | Атомные электростанции. Системы контроля и управления, важные для безопасности. Программное обеспечение компьютерных систем, выполняющих функции категории А | Название англ.: | Nuclear power plants. Instrumentation and control systems important to safety. Software aspects for computer-based systemsperforming category A functions | Дата добавления в базу: | 01.09.2013 | Дата актуализации: | 05.05.2017 | Дата введения: | 01.01.2012 | Область применения: | Стандарт устанавливает требования к компьютерным системам контроля и управления атомных электростанций, выполняющим функции категории А, определенные в МЭК 61226. В соответствии с определением, приведенным в МЭК 61513, системы контроля и управления класса безопасности 1 предназначены, главным образом, для поддержания функций категории А, однако они могут также поддерживать функции более низких категорий. Тем не менее, требования к системе всегда определяются выполняемыми функциями наивысших категорий. Для программного обеспечения систем контроля и управления, выполняющих на АЭС функции только категорий В и С, в соответствии с определениями МЭК 61226 применяют требования и рекомендации МЭК 62138. Цель требований стандарта состоит в разработке программного обеспечения высокой степени надежности. Требования стандарта относятся к каждому этапу разработки программного обеспечения и документации, включая спецификацию требований, проектирование, разработку, верификацию, валидацию и эксплуатацию. В основу этих требований при разработке положены следующие принципы: - наилучшая установившаяся практика; - методы проектирования сверху вниз; - модульность; - верификация на каждом этапе; - четкая документация; - легко проверяемая документация; - валидационные тестирования. | Оглавление: | 1 Область применения 2 Нормативные ссылки 3 Термины и определения 4 Сокращения 5 Общие требования к проектам программного обеспечения 5.1 Общая информация 5.2 Типы ПО 5.3 Подход к разработке программного обеспечения 5.4 Управление проектированием программного обеспечения 5.5 План обеспечения качества программного обеспечения 5.6 Управление конфигурацией 5.7 Защищенность программного обеспечения 6 Требования к программному обеспечению 6.1 Спецификация требований к программному обеспечению 6.2 Самоконтроль 6.3 Периодические тестирования 6.4 Документация 7 Проектирование и реализация 7.1 Принципы проектирования и реализации 7.2 Язык и связанные с ним трансляторы и инструментальные средства 7.3 Подробные рекомендации 7.4 Документация 8 Верификация программного обеспечения 8.1 Процедура верификации программного обеспечения 8.2 Действия по верификации программного обеспечения 9 Программные аспекты интеграции системы 9.1 Программные аспекты плана интеграции системы 9.2 Интеграция системы 9.3 Верификация интегрированной системы 9.4 Процедуры устранения дефектов 9.5 Программные аспекты отчета о верификации интегрированной системы 10 Программные аспекты валидации системы 10.1 Программные аспекты плана валидации системы 10.2 Валидация системы 10.3 Программные аспекты отчета о валидации системы 10.4 Процедуры устранения дефектов 11 Модификация программного обеспечения 11.1 Процедура запроса на модификацию 11.2 Процедура осуществления модификации программного обеспечения 11.3 Модификация программного обеспечения после поставки 12 Программные аспекты установки и эксплуатации 12.1 Установка программного обеспечения на месте эксплуатации 12.2 Защищенность программного обеспечения на месте эксплуатации 12.3 Адаптация программного обеспечения к условиям эксплуатации 12.4 Обучение оператора 13 Защита от отказов по общей причине, вызываемых программным обеспечением 13.1 Общие сведения 13.2 Проектирование программного обеспечения с учетом ООП 13.3 Источники и последствия ООП из-за программного обеспечения 13.4 Реализация разнообразия 13.5 Баланс недостатков и преимуществ, связанных с использованием разнообразия 14 Инструментальные программы для разработки программного обеспечения 14.1 Общие сведения 14.2 Выбор инструментальных программ 14.3 Требования к инструментальным программам 15 Аттестация ранее разработанного программного обеспечения 15.1 Общие сведения 15.2 Общие требования 15.3 Процесс проведения оценки 15.4 Требования к интеграции в систему и модификации РПО Приложение А (обязательное) Жизненный цикл безопасности программного обеспечения и детализация требований к программному обеспечению Приложение В (обязательное) Детализированные требования и рекомендации по проектированию и реализации Приложение С (справочное) Примеры технологии прикладного программирования (разработка программного обеспечения с использованием проблемно-ориентированных языков) Приложение D (справочное) Язык, транслятор, редактор связей Приложение Е (справочное) Верификация и тестирование программного обеспечения Приложение F (справочное) Перечень документации, требующейся в течение жизненного цикла безопасности программного обеспечения Приложение G (справочное) Некоторые аспекты отказа по общей причине (ООП) и разнообразия Приложение Н (справочное) Инструментальные программы для создания и проверки спецификации, проектирования и реализации Приложение I (справочное) Требования к ранее разработанному программному обеспечению (РПО) Приложение J (справочное) Соответствие между МЭК 61513 и настоящим стандартом Приложение ДА (справочное) Сведения о соответствии ссылочных международных стандартов ссылочным национальным стандартам Российской Федерации | Разработан: | АНО Изинтех ОАО ВНИИАЭС
| Утверждён: | 30.11.2010 Федеральное агентство по техническому регулированию и метрологии (739-ст)
| Издан: | Стандартинформ (2011 г. )
| Расположен в: |
| Нормативные ссылки: | |
|