ГОСТ Р МЭК 61508-3—2012
5 Необходимо рассмотреть наличие подходящих инструментальных средств, чтобы предоставить сервисы,
необходимые для всего жизненного цикла Э/Э/ПЭ системы, связанной с безопасностью (например, средства под
держки спецификаций, проектирования, реализации, документирования, модификации).
6 Необходимо уделить внимание компетентности пользователей выбранных инструментальных средств.
Требования к компетентности см. раздел 6 МЭК 61508-1.
7.4.4.3 Выбор инструментальных средств поддержки, работающих в автономном режиме, должен
быть обоснован.
7.4.4.4 Все инструментальные средства поддержки классов Т2 и ТЗ. работающие в автономном
режиме, должны иметь спецификацию или документацию на это средство, в которой ясно определено
поведение инструментального средства и любые инструкции или ограничения при их использовании.
Требования к жизненному циклу разработки программного обеспечения см. в 7.1.2. а для категорий
программного обеспечения инструментальных средств поддержки, работающих в автономном режиме,
см. пункт 3.2.11 МЭК 61508-4.
П р и м е ч ан и е — Такая «спецификация или документация на инструментальное средство» не является
руководством по безопасности применяемого элемента (см. приложение D МЭК 61508-2 и настоящий стандарт) не
посредственно для самого инструментального средства. Руководство по безопасности для применяемого элемен та
касается уже существующего элемента, который включен в исполняемую систему, связанную с безопасностью.
Если уже существующий элемент был сгенерирован инструментальным средством класса ТЗ и затем включен в
исполняемую систему, связанную с безопасностью, то любая релевантная информация (например, если в доку
ментации для оптимизирующего компилятора указано, что порядок оценки параметров функции не гарантируется) из
«спецификации или документации на инструментальное средство» должна быть включена в руководство по
безопасности для применяемого элемента, что позволяет провести оценку полноты конкретной функции безопас
ности. которая полностью или частично зависит от элемента, включенного в исполняемую систему, связанную с
безопасностью.
7.4.4.5 Для того чтобы определить уровень доверия к инструментальным средствам и возможные
механизмы отказа инструментальных средств, которые могут повлиять на исполняемое программное
обеспечение, должна быть выполнена оценка инструментальных средств поддержки классов Т2 и ТЗ.
работающих в автономном режиме. Если механизмы отказа идентифицированы, то должны быть ис
пользованы соответствующие меры по их ослаблению.
П рим ечан ия
1 Программное обеспечение HAZOP реализует один из методов анализа последствий возможных отказов,
который можно использовать для программного обеспечения инструментального средства.
2 Примерами мер по ослаблению являются: предотвращение известных ошибок, ограниченное использо
вание функциональности инструментального средства, проверка выходных результатов инструментального сред
ства. использование разнообразных инструментальных средств для той же цели.
7.4.4.6 Для каждого инструментального средства в классе ТЗ должно быть в наличии свидетель
ство о том. что инструментальное средство соответствует спецификации или документации на него.
Такое свидетельство может быть основано на подходящей комбинации информации о предыдущем
успешном использовании в подобных средах и для подобных применений (в данной организации или
в других организациях) и подтверждении соответствия инструментального средства, как определено
в 7.4.4.7.
П рим ечан ия
1 История версий может обеспечивать уверенность в полноте готовности инструментального средства, а
также должны быть учтены записи ошибок/несоответствий, когда инструментальное средство используется для
разработки в новой среде.
2 Свидетельство для инструментального средства класса ТЗ может также использоваться для инструмен
тальных средств класса Т2 для оценки правильности их результатов.
7.4.4.7 Результаты подтверждения соответствия инструментальных средств должны быть доку
ментально оформлены и содержать:
a) хронологическую запись действий по подтверждению соответствия:
b
) версию используемого руководства по инструментальному средству:
c) функции инструментального средства, для которых проводится процедура подтверждения со
ответствия;
d) используемые инструментальные средства и оборудование;
e) результаты действия по подтверждению соответствия, документально оформленные резуль
таты подтверждения соответствия должны установить, что подтверждено соответствие программного
обеспечения или существуют причины для отказа;
24