ГОСТ Р МЭК 62138—2010
Свойства
Эксплуатационные документы должны быть четкими, не допускающими двоякой интерпрета
5.2.1.3
1
ции.
5.2.2 Свидетельство корректности
5.2.2.1 Общие требования
1Должна быть подтверждена корректность ранее разработанного программного обеспечения в
отношении к его эксплуатационнымдокументам.
Обычно подтверждение является качественным, т.к. общепризнанных методов количественной
оценки не существует. Для ранее разработанного программного обеспечения подтверждение может
базироваться на таких различных типахсвидетельств, как. например:
- свидетельствосоответствиявсем требованиям или частитребований5.1.5.2.1.5.4.5.5.5.6.5.7 и
5.10 (если применимы);
- специфичные для проектадополнительные тестирования;
- применимый инадежныйопытэксплуатации;
- сертификация, проводимая уполномоченными органами.
Доверие к ранее разработанному программномуобеспечению достигается легче, если оно может
использоватьсятолько ограниченным числом способов и/или если проектСКУи его программного обес
печения предусматриваетчеткий наборусловий их использования.
5.2.2.2 Дополнительные тестирования
Для класса безопасности 3 нет необходимости в требованиях поданному разделу.
5.2.2.3 Эксплуатационный опыт
Для класса безопасности 3 нет необходимости в требованиях поданному разделу.
5.2.2.4 Сертификация
Для класса безопасности 3 нет необходимости в требованиях поданному разделу.
5.2.2.5 Модификация
Для класса безопасности 3 нет необходимости в требованияхподанному разделу.
5.2.3 Функциональная пригодность
Для класса безопасности 3 нет необходимости в требованиях поданному разделу.
5.2.4 Выбор и использование специализированных устройств с встроенным програм
мным обеспечением
Устройства по типу «черный ящик» с встроенным программным обеспечением могут использо
ваться в СКУ при следующих условиях.
1 Программноеобеспечениеустройствадолжно бытьинтегрированотак, чтобыононемоглобыть
изменено пользователем и использоваться отдельно отостальной части устройства.
2 Числофункцийустройства, его потенциалдля конфигурациииобъемего интерфейсовивзаимо
действийсостальной частьюСКУдолжны бытьограниченытак. чтобы тестированиямогли охватитьвсе
функции.
3 Должнобытьпредоставленосвидетельствотого, чтоданноеустройство соответствуеттребова
ниям 5.2.1 и 5.2.2.
4 Должно быть представленосвидетельство того, что конфигурация и использование устройства
в СКУсоответствуют требованиям 5.4,5.5.1 и5.5.2.
5.3 Спецификация требований к программному обеспечению
Настоящий подраздел завершает иуточняет требования подпункта6.1.2.3 МЭК 61513.
5.3.1 Цели
1Требования к программному обеспечению СКУ должны быть определены и оформлены доку
ментально.
В настоящем стандарте соответствующийдокументили пакет документов назван «Спецификация
требований к программномуобеспечению». Его цель состоит в определении задач программного обес
печения без определения путей их решения. Однако ограничивающие факторы проекта и разработки,
вероятно, придется определить, если это потребуется при рассмотрении проекта СКУ или архитектуры
СКУ.
3 Спецификация требований к программномуобеспечению должна быть такой, чтобы:
- она способствовала уверенности в корректности проекта СКУ;
- было показано соответствие СКУ требованиям МЭК61513.
15