ГОСТ Р МЭК 61508-6-2012
Окончание таблицы Е. 12
Метод/средствоСсылка УПБЗИнтерпретация (в настоящем приложении)
11а Структурные методыС.2.1
HR Необходимоиспользоватьвследствие
размера системы
1Ь Полуформальные методыТабл.
В.7
11с Формальные методы проектиро B.
вания и усовершенствования C.
R
HR Диаграммыфункциональныхблоков,
циклограммы, диаграммы переходов
2.2,
Не используется
2.4
lid Автоматическая генерация про С.4.6
граммного обеспечения
R Неиспользуется.Избегайтенеопреде
ленности транслятор/ генератор
HRСредства поддержки выбранных методов
12Автоматизированныесредства В.2.4
разработкиспецификацийи
проектирования
13а Циклическое поведение с гаран С.3.11
тированным максимальным временем
цикла
HRНе используется
13ЬАрхитектурасвременным С.3.11
HRНе используется
распределением
HRНе используется
13с Управление событиями с гаранти С.3.11
рованным максимальнымвременем
реакции
4 Статическое выделение ресурсовС.2.6.3
15 Статическая синхронизация доступа С.2.6.3
к разделяемым ресурсам
HR Неиспользуется.Выберитеязык
программирования, чтобы избежать пробле
мы динамических ресурсов
R Неиспользуется.Выберитеязык
программирования, чтобы избежать пробле
мы динамических ресурсов
П р и м е ч а н и е - В столбце «Ссылка» "В.х.х.х", ’’С.х.х.х" указывают на описания методов,
изложенные в приложениях В и С МЭК 61508-7, а Табл. А.х”, Табл. В.х" - на таблицы методов,
представленные в приложениях А и В МЭК 61508-3.
Таблица Е.13 — Проектирование и разработка программного обеспечения:
средства поддержки и язык программирования (см. МЭК 61508-3, пункт 7.4.4)
Метод/средствоСсылка УПБЗИнтерпретация {в настоящем
приложении)
1 Выбор соответствующего языка программи С.4.5
рования
HR
Выбрается язык высокого уровня с
полной изменчивостью
HR
Используют
2 Строго типизированные языки программи С.4.1
рования
3 Подмножество языкаС.4.2
HR
Определяютподмножество
выбранного языка
HR
Недоступны
4а Сертифицированные средства и сертифи С.4.3
цированные трансляторы
4Ь Инструментальные средства и трансля С.4.4
торы: повышение уверенности на основании
опыта использования
HR
Доступны и используют
П р и м е ч а н и е - В столбце «Ссылка» "В.х.х.х", "С.х.х.х" указывают на описания методов,
изложенные в приложениях В и С МЭК 61508-7. а "Табл. А.х”. "Табл. В.х’ - на таблицы методов,
представленные в приложениях А и В МЭК 61508-3.
144