ГОСТ Р МЭК 61508-6—2007
Т а б л и ц аЕ.13 — Проектирование и разработка программного обеспечения: средства поддержки и язык
программирования (см. МЭК 61508-3. пункт 7.4.4)
М сто д/ср е дсто аС сы лк а
SIL3И нтерпретация (о настоящ ей прилож ении)
1 Выбор соответствующего языка прогС.4.6
раммирования
HRВыбирается язык высокого уровня с пол
ной варьируемое тью
2 Строго типизированные языки прогС.4.1
раммирования
HRИспользуют
3 Подмножество языкаС.4.2
HRОпределяют подмножество выбранного
языка
4а Сертифицированные средстваС.4.3
HRНедоступны
4ЬИнструментальные средства: заслужи
С.4.4
вающиедоверия на основании опыта исполь
зования
HRДоступны и используют
5а Сертифицированный компиляторС.4.3
HRНедоступен
5Ь Трансляторы, заслуживающие довеС.4.4
рия на основании опыта использования
HRДоступны и используют
6 Библиотека проверенных/сертифици-С.4.5
рованных модулей и компонент
HRДоступна и используют
Т а б л и ц аЕ.14 — Проектирование и разработка программного обеспечения: подробный проект (см.
МЭК 61508-3. пункты 7.4.5 и 7.4.6)
М о то д/средстео
Ссылка
SIL3
И нтерпретация la настояш ем прилож ении)
1а Структурные методы, включая, напри
мер JSD, MASCOT. SADT и Yourdon
С.2.1HR
Широко используются. В частности SADT
и JSD
1Ь Полуформальные методы
ТаблицаHR
В.7
Используются конечные автоматы/диа-
граммы перехода состояний, блок-схемы,
циклограммы
1с Формальные методы, включая, напри
мер CCS. CSP, HOL. LOTOS. OBJ. времен
ную логику. VDM и 2
С.2.4R
Используются только в исключительных
случаях для некоторых очень важных компо
нент
2 Средства автоматизированого проекти
рования
В.3.5R
Используются для выбранных методов
3 Программирование с защитой
С.2.5R
В прикладном программном обеспечении
в явном виде используются средства, кото
рые могут быть эффективны, кроме автома
тически вставляемых компилятором
В.9
4 Модульный подходТаблицаHRИспользуются: ограниченныйразмер
программного модуля, скрытие информации/
инкапсуляция, одна входная/’выходная точка
в подпрограммах и функциях, полностью оп
ределенный интерфейс и т. д.
5 Стандарты (предприятия) проектиро
вания и кодирования
ТаблицаHR
В.1
Используются стандарты (предприятия)
для кодирования, ограниченно используют
ся прерывания, указатели и рекурсии, не ис
пользуются динамические обьекты и пере
менные. безусловные переходы и т. д.
6 Структурное программированиеС.2.7HR
Используют
7 Библиотека проверенныхУсвртифици-С.4.5HR
рованных модулей и компонентов (по воз
можности)
Доступен и используют
П р и м е ч а н и е — Проектирование и разработка включают в себя системное проектирование програм
много обеспечения, проектирование и кодирование программных модулей.
56