ГОСТРМЭК 62138—2010
Еще одним мероприятием особой важности жизненного цикла безопасности программного обес
печенияявляется выборранееразработанногопрограммногообеспечения, посколькуэтоттиппрограм
много обеспечения обычно представляет существенную часть завершенного и интегрированного
программного обеспечения. Более подробно алгоритм проверки корректности ранее разработанного
программного обеспечениядля СКУ класса безопасности 2представлен на рисунке 5.
4.4 Принципы градации
Вследствие распределения функций в отношении безопасности по категориям А. В и С соответ
ствующая градация была введена и для требований кпрограммномуобеспечениюСКУ,относящемуся к
классам безопасности 1,2 и 3.
Применениетребованийнастоящегостандартадля класса безопасности 3обеспечиваетбазовый
уровеньдоверительности, соответствующий программномуобеспечениюСКУ, важныхдлябезопаснос
ти. При этом руководствуются следующими принципами:
- наличие программы обеспечения качества;
- особое внимание уделяют тому, чтобы программное обеспечение:
1) вносило необходимый вкладв функции, важныедля безопасности, и неоказывало на них отри
цательноговлияния.
2) соответствовало положениям спецификации требований программного обеспечения, которые
устанавливают ограничения, важныедля безопасности:
- обеспечение как можно более раннего информирования операторов СКУ об ошибках и отказах
программногообеспечения, которыемогут повлиятьнафункции, важныедлябезопасности, стем чтобы
можно было предпринять необходимыедействия;
- наличие документально оформленных спецификаций требований к программному обеспече
нию, спецификаций проекта, спецификаций интеграции, спецификаций валидации и спецификаций
модификации.
Для класса безопасности 2вдополнение кпринципам, уже изложеннымдля класса 3. в настоящем
стандартедобавляют принципы:
- базирующееся на тестированиях и проекте обоснованиятого, что требование к характеристике,
связанной с безопасностью (например, время реакции), будет выполненодля всех заданных условий;
- использованиедокументациипобезопасностидляранееразработанногопрограммногообеспе
чения и для ранее разработанных устройств с встроенным программным обеспечением, цель такой
документациисостоитвтом. чтобы обеспечитьвсю необходимую информациюдля безопасногоисполь
зования программного обеспечения или устройства; в частности, требование по представлению осно
ванного на проекте обоснования эксплуатационных характеристик, связанных с безопасностью,
устанавливает минимальный уровень необходимой информации;
- использование ранееразработанногопрограммногообеспечения иустройствсвстроенным про-
граммнымобеспечением в соответствиис правилами, основанныминасоответствующейдокументации
по безопасности,
- конфигурирование и использование ранее разработанных устройств по типу «черного ящика»
согласно правилам, обеспечивающим уменьшение влияния известных или ожидаемых типов отказов;
- обоснование корректностиифункциональной пригодностиранееразработанногопрограммного
обеспечения и ранее разработанных устройств с встроенным программным обеспечением; процесс
такого обоснования корректности использования ПО и устройств по классу безопасности 2 показан на
рисунке 5;
- обширная и документально оформленная верификация детального проекта иреализации ново
го программного обеспечения; верификация может включать в себя анализ документации, анализ с
помощью инструментальных программ и тестирования;
- болеежесткие требования поверификации, управлению конфигурацией ПО, выборуииспользо
ванию инструментальных программ иязыков программирования, защищенности исохранению работо
способности при отказе отдельныхэлементов;
- четкиетребованиякпростоте, ясности, точности, проверяемости, тестируемостии модифициру
емости.
Еслиодно итоже требование применимокобоимклассам безопасности, тостепень необходимого
обоснования соответствия может зависеть от класса безопасности. В частности, для класса 3 эта сте
пень может быть меньшей применительно к функциям, не определенным в качестве важныхдля безо
пасности и не подвергающих рискуфункции, определенные в качестве важныхдля безопасности.
Требованиядля программного обеспечения СКУкласса безопасности 1приведены в МЭК60880.
ю