ГОСТ Р МЭК 61508-3—2012
П р и м е ч ан и е — Например, режимы эксплуатации в машиностроении и на обрабатывающих пред
приятиях.
7.4.2.4 Выбранный метод проектирования должен обладать характеристиками, облегчающими
модификацию программного обеспечения. К числу таких характеристик относят модульность, скрытие
информации и инкапсуляцию.
7.4.2.5 Представление проекта должно основываться на нотации, которая является однозначно
определенной или ограничена до однозначно определенных свойств.
7.4.2.6 Проект должен по возможности минимизировать ту часть программного обеспечения, ко
торая связана с безопасностью.
7.4.2.7 Проект программного обеспечения должен включать в себя (соразмерно требуемому
уровню полноты безопасности) средства самоконтроля потоков управления и потоков данных. При об
наружении отказа должны быть выполнены соответствующие действия.
7.4.2.8 Если программное обеспечение должно реализовать функции как относящиеся, так и не
относящиеся к безопасности, оно в целом должно рассматриваться как относящееся к безопасности,
если в проекте не предусмотрены соответствующие меры, гарантирующие, что отказы функций, не от
носящихся к безопасности, не могут оказать негативное влияние на функции, относящиеся к безопас
ности.
7.4.2.9 Если программное обеспечение должно реализовать функции безопасности, имеющие
различный уровень полноты безопасности, то следует считать, что все программное обеспечение име ет
уровень, наивысший среди этих уровней, если только в проекте не будет продемонстрирована до
статочная независимость функций, имеющих различный уровень полноты безопасности. Должно быть
продемонстрировано, что либо независимость обеспечена в пространстве и во времени, либо любые
нарушения независимости находятся под контролем. Обоснование независимости должно быть доку
ментально оформлено.
П р и м е ч ан и е — Мегоды достижения одного аспекта независимости программного обеспечения приведе
ны в приложении F.
7.4.2.10 Если стойкость к систематическим отказам элемента программного обеспечения ниже,
чем уровень полноты безопасности функции безопасности, к которой он относится, то этот элементдол
жен использоваться в сочетании с другими элементами, такими, что стойкость к систематическим отказам
такого сочетания элементов будет равна уровню полноты безопасности функции безопасности.
7.4.2.11 Если функция безопасности реализуется с использованием комбинации элементов про
граммного обеспечения, для которых известны их значения стойкости к систематическим отказам, то к
такой комбинации элементовдолжны применяться требования к стойкости к систематическим отказам,
представленные в пункте 7.4.3 МЭК 61508-2.
П р и м е ч ан и е — Существует различие между функцией безопасности, от начала до конца реализуемой
одним или болев элементами, и функцией безопасности элемента, то есть каждого из элементов, участвующего в
реализации. Если два элемента объединяются для достижения более высокой стойкости к систематическим отка зам.
то в такой комбинации каждый из этой пары элементов должен быть способен к првдогвращению/смягчению опасного
события, при этом функции безопасности каждого из этих элементов не обязательно должны быть иден тичны. и не
требуется, чтобы каждый из элементов комбинации был способен независимо обеспечивать функцио нальную
безопасность, которая задана для всей комбинации.
Пример — В управлении электронного дросселя автомобиля функция безопасности «предотвра
щение нежелательного ускорения» полностью реализуется на двух процессорах. Функция безопасно
сти элемента, реализуемая основным контроллером, управляет поведением дросселя в режиме запрос/
ответ. Функция безопасности элемента, реализуемая вторым процессором, выполняет разнообраз
ный контроль (см. С.3.4 МЭК 61508-7) и аварийный останов в случае необходимости. Комбинация этих
двух процессоров дает более высокую уверенность в том. что выполнение всей функции безопасно
сти япредотвращение нежелательного ускорения» будет обеспечено.
7.4.2.12 Если для реализации всей или части функции безопасности используется вновь уже су
ществующий элемент программного обеспечения, то этот элемент должен соответствовать обоим сле
дующим требованиям систематической полноты безопасности:
а) соответствовать требованиям одного из следующих способов обеспечения соответствия:
- способ 1s: разработка, соответствующая требованиям. Соответствие требованиям настоящего
стандарта для предотвращения и управления систематическими отказами в программном обеспече
нии:
19