Этот стандарт применим к высоконадежному программному обеспечению, необходимому для компьютеров, которые будут использоваться в системах безопасности атомных электростанций для выполнения функций безопасности — функции класса 1 согласно публикации IEC 643: Применение цифровых компьютеров в контрольно-измерительных приборах и системах управления ядерными реакторами. Сюда входят системы срабатывания безопасности, функции поддержки систем безопасности и системы защиты. Для использования компьютерных систем для функций, не связанных с безопасностью, применимы принципы публикации IEC 639: Ядерные реакторы. Использование системы защиты в целях, не связанных с безопасностью. Этот стандарт содержит требования для каждого этапа создания программного обеспечения, включая проектирование, разработку, квалификацию и эксплуатацию, а также документацию для каждого этапа создания программного обеспечения с целью достижения высоконадежного программного обеспечения. Принципы, применяемые при разработке этих требований, включают:
——наилучшую имеющуюся практику;
——методы проектирования «сверху вниз»;
——модульность;
——проверка каждого этапа;
——понятная документация;
——проверяемые документы;
——проверочное тестирование. Дополнительные указания и информация о том, как соблюдать требования основной части настоящего стандарта, приведены в приложениях A–F. Ссылки на эти приложения даны в скобках. Если используются методы, отличающиеся от тех, которые указаны в приложениях, они должны быть документированы и подлежат аудиту в соответствии с требованиями основной части настоящего стандарта.
SIS SS IEC 880:1987 История
1987SIS SS IEC 880:1987 Ядерное приборостроение - Программное обеспечение для компьютеров в системах безопасности атомных электростанций.