ГОСТ Р МЭК 61508-6—2007
Окончание табпицы Е.2
Мстод/средстоо
С сы лкаSIL2
И нтерпретация
(о
настоящ ем прилож ении)
7а Структурные методы, включая, напри
мер JSD. MASCOT. SADT и Yourdon
С.2.1HR
Методы потоков данных и логических
таблиц данных могут использоваться, по
крайней мере, для описания архитектуры
7Ь Полуформальные методы
ТаблицаR
В.7
Могут быть использованы для интерфей
са DCS
7с Формальные методы, включая, напри
мер CCS, CSP. HOL. LOTOS. OBJ. времен
ную логику. VDM иZ
С.2.4R
Редко используются для программиро
вания с ограниченной варьирувмостью
8 Автоматизированные средства разра
ботки спецификаций
В.2.4R
Используются средства разработки, пос
тавленные производителем ПЛК
П р и м е ч а н и е — Некоторые из этих методов нецелесообразно использовать при программировании
на языках с ограниченной варьирувмостью.
Т а б л и ц аЕ.З — Проектирование и разработка программного обеспечения: средства поддержки и язык
программирования (см. МЭК 61508-3, пункт 7.4.4)
М сто д/ср е дсто аС сы лка
SIL2И нтерпретация (о настоящ ем прилож ении)
1 Выбор соответствующего языка проС.4.6
граммирования
HRОбычно используется многоступенчатая
логика и часто используются фирменные
языки поставщика ПЛК
2 Строго типизированные языки проС.4.1
граммирования
HRИспользуетсяструктурированный текст по
МЭК 61131-3 [14]
3 Подмножество языкаС.4.2
Остерегайтесь использования сложных
«макроинструкций», прерываний, которые
"
изменяют цикл сканирования ПЛК. и т. д.
4а Сертифицированные средстваС.4.3
HRПоставляется производителем ПЛК
вающиедоверия на основании опыта исполь
зования
4Ь Инструментальные средства: заслужиС.4.4HRИспользуютсясредстваразработки,
предлагаемые поставщиком ПЛК. а также
собственные инструменты, разработанные
в ходе работы над несколькими проектами
5а Сертифицированный трансляторС.4.3
HRПоставляется производителем ПЛК
5Ь Трансляторы, заслуживающие довеС.4.4
рия на основании опыта использования
HRНе используется для языков программи
рования с ограниченной варьирувмостью
6 Библиотека проверенных/сертифици-С.4.5
рованных модулей и компонентов
HRФункциональные блоки, части програм
мы
Т а б л и ц а Е.4 — Проектирование и разработка программного обеспечения: подробная модель (см. МЭК 61508-3.
пункты 7.4.5 и 7.4.6)
М етоД|’средсю а
С сы пкаSIL2
И нтерпретация |п насгоящ еы прилож ении)
1а Структурные методы, включая, напри
мер JSD. MASCOT. SADT и Yourdon
С.2.1HR
Не используется для языков программи
рования с ограниченной варьирувмостью
1Ь Полуформальные методы
ТаблицаHR
В.7
Используются причинно-следственные
схемы, циклограммы, функциональные бло
ки. типичные для языков программирования
с ограниченной варьирувмостью
1с Формальные методы, включая, напри
мер CCS. CSP. HOL. LOTOS. OBJ. времен
ную логику. VDM иZ
С.2.4R
Не используется для языков программи
рования с ограниченной варьирувмостью
51