ГОСТ Р МЭК 61508-7—2012
Приложение F
(справочное)
Определение свойств стадий жизненного цикла программного обеспечения
Таблица F.1 — Спецификация требований к программному обеспечению системы безопасности
(см. МЭК 61508-3. подраздел 7.2 и таблица С.1)
Свойсшо
Определение
1.1Полнота охвата
потребностей
безопасности
программным
обеспечением
Спецификация требований к программному обеспечению системы безо
пасности охватывает все потребности и ограничения системы безопас
ности. появившиеся на более ранних стадиях жизненного цикла системы
безопасности и определенные для программного обеспечения.
Потребности и ограничения системы безопасности обычно устанавлива
ются перед началом разработки спецификации требований к программ
ному обеспечению системы безопасности. Они могут включать специ
фикацию того, что программное обеспечение не должно выполнять
или должно избегать
1.2 Корректность
охвата по
требностей
безопасности
программным
обеспечением
Спецификация требований к программному обеспечению системы безо
пасности адекватно отвечает потребностям и ограничениям системы
безопасности, которые были определены для программного обеспече
ния.
Целью является уверенность в том. что все. что определено в специфи
кации. действительно гарантирует безопасность для всех необходимых
условий
1.3Отсутствие
ошибок в самой
спецификации,
включая отсут
ствие неодно
значности
Внутренняя полнота и согласованность спецификации требований к про
граммному обеспечению системы безопасности: предоставление всей
необходимой информации для всех функций и ситуаций, которая должна
быть получена из спецификации; отсутствие в ней противоречивых
или несогласованных положений.
Противоречие полноте и согласованности потребностям системы безо
пасности. внутренней полноте и согласованности может быть оценено
только на основе спецификации требований к программному обеспече
нию системы безопасности
1.4Ясность требо
ваний к безопас
ности
Спецификация требований к программному обеспечению системы безо
пасности должна быть полностью понятна без излишних усилий тем спе
циалистам, которые должны ее читать, даже если они не принимали
участие в ее разработке, при условии, что эти специалисты обладают
необходимыми знаниями.
Одна важная цель состоит в том, чтобы облегчить проверку и. возможно,
модификации
1.5Отсутствие не
благоприятного
взаимовлия
ния функций,
не связанных
с безопасно
стью. и функций
безопасности,
реализуемых
программным
обеспечением
системы без
опасности
Спецификация требований к программному обеспечению системы безо
пасности не содержит требований, которые не нужны для обеспечения
безопасности УО.
Цель состоит в том. чтобы не усложнять разработку и реализацию про
граммного обеспечения и сократить риск отказов и функций, не связан
ных с безопасностью, но влияющих или создающих опасные условия
для отказов и функций, важных для безопасности
1.6Способность
обеспечения
проведения
оценки и под
тверждения
соответствия
Спецификация требований к программному обеспечению системы
безопасности является первоисточником необходимой информации
для выполнения тестов и исследований, которые в результате их выпол
нения формируют объективное подтверждение о том. что программное
обеспечение удовлетворяет спецификации требований к программному
обеспечению системы безопасности
84