ГОСТ Р МЭК 61508-7—2012
- руководящие принципы:
- определяют структуру документа.
- используют таблицы контрольных проверок для формирования содержания документа и
- определяют формат документа;
- автоматизация управляет документированием и создается структурированная библиотека проекта.
К конкретным методам создания документов относятся:
- разделение в документации описаний:
- требований.
- системы (документация пользователя) и
- разработки (включая внутреннюю проверку);
- группирование разработанной документации в соответствии с жизненным циклом безопасности;
- определение стандартных модулей документации, из которых могут быть скомпилированы документы;
- ясная идентификация составных частей документа;
- формализованное обновление версий;
- выбор ясных и понятных средств описания:
- формализованная нотация для определений.
- естественный язык для введений, обоснований и представления намерений.
- графическое представление для описания примеров.
- семантическое определение для графических элементов и
- терминологические справочники.
Литература:
IEC 61506:1997. Industrial-process measurement and control — Documentation of application software.
Guidelines for Safe Automation of Chemical Processes. CCPS, AlChE, New York. 1993. ISBN-10: 0-8169-0554-1.
ISBN-13: 978-0-8169-0554-6.
B.1.3 Разделение систем, связанных с безопасностью, и систем, не связанных с безопасностью
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.1 и В.6).
Цель. Предотвращение влияния систем, связанных с безопасностью, на системы, не связанные с безопасно
стью. в непредвиденных ситуациях.
Описание. В спецификации должно быть определено, возможно ли разделение систем, связанных и не свя
занных с безопасностью. Должны быть установлены четкие спецификации взаимодействия между системами,
связанными и не связанными с безопасностью. Четкое их разделение снижает затраты на тестирование систем,
связанных с безопасностью.
Литература:
Guidelines for Safe Automation of Chemical Processes. CCPS. AlChE, New York. 1993. ISBN-10: 0-8169-0554-1,
ISBN-13: 978-0-8169-0554-6.
B.1.4 Разнообразие аппаратных средств
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблицыА.15, А.16 иА.18).
Цель. Обнаружение систематических отказов при выполнении операций УО с использованием разнообраз
ных компонентов с различными частотами и типами отказов.
Описание. Для разнообразных каналов системы, связанной с безопасностью, используются различные типы
компонентов. Это снижает вероятность отказов по общей причине (например увеличение напряжения по сравне
нию с номиналом, электромагнитные влияния) и повышает вероятность обнаружения таких отказов.
Существование различных средств выполнения требуемой функции, например, применение других фи
зических принципов, предполагает возможность использования других способов решения проблемы обнару
жения систематических отказов. Возникает разнообразив типов используемых способов. Это функциональное
разнообразие дает возможность использовать различные подходы для достижения одного и того же результата.
Литература:
Guidelines for Safe Automation of Chemical Processes. CCPS. AlChE. New York. 1993. ISBN-10: 0-8169-0554-1,
ISBN-13: 978-0-8169-0554-6.
B.2 Спецификация требований к проектированию Э/Э/ПЭ системы
Главная цель. Создание спецификации, которая по возможности была бы полна, свободна от ошибок, про
тиворечий и проста для проверки.
В.2.1 Структурирование спецификации
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в МЭК 61508-2 (таблицы В.1 и В.6).
Цель. Уменьшение сложности путем создания иерархической структуры частичных требований. Предотвра
щение ошибок взаимосвязи между требованиями.
Описание. Данный метод разделяет функциональную спецификацию на частичные требования так. чтобы
между ними существовали по возможности простейшие отношения. Этот метод применяется последовательно до
тех пор. пока не будут получены небольшие четкие частичные требования. В результате получается иерархи-
17