ГОСТ Р МЭК 61508-7—2007
Т а б л и ц а С.1 — Рекомендации по конкретным языкам программирования
Яаык программирования
SIL1SIL2
SIL3SIL4
1ADAHRHR
RR
2 ADA с подмножествомHRHR
HRHR
3 MODULA-2HRHR
RR
4 MODULA- с подмножествомHRHR
HRHR
5 PASCALHRHR
RR
6 PASCAL с подмножествомHRHR
HRHR
7 FORTRAN 77RR
RR
8 FORTRAN 77 с подмножествомHRHR
HRHR
9 СR—
NRNR
HRHR
10 Язык С с подмножеством и стандартом кодиро-HRHR
вания. а также использование инструментов статичес
кого анализа
11 PUMR—
NRNR
RR
12 PL/М с подмножеством и стандартом кодирова-HRR
ния
13 АссемблерRR
——
RR
14 Ассемблер с подмножеством и стандартом ко-RR
дирования
15 Многоступенчатые диаграммыRR
RR
HRHR
16 Многоступенчатая диаграмма с определеннымHRHR
подмножеством языка
17 Диаграмма функциональных блоковRR
RR
HRHR
18 Диаграмма функциональных блоков с опреде-HRHR
ленным подмножеством языка
19Структурированный текстRR
RR
HRHR
20 Структурированный текст с определенным под-HRHR
множеством языка
21 Последовательная функциональная диаграммаRR
RR
HRHR
22 Последовательная функциональная диаграммаHRHR
с определенным подмножеством языка
23 Список командR—
NRNR
RR
24 Список команд с определенным подмножествомHRR
языка
П р и м е ч а н и я
1 Пояснения к рекомендациям R. HR см. в МЭК 61508-3 (приложение А).
2 Системное программное обеспечение включает в себя операционную систему, драйверы, встроенные
функции и программные модули, являющиеся частью системы. Программные средства обычно обеспечивают ся
системой безопасности при поставке. Подмножество языка следует выбирать очень внимательно с тем. чтобы
исключить сложные структуры, которые могут образоваться в результате ошибок реализации. Следует
проводить проверки для того, чтобы убедиться в правильном использовании подмножества языка программи
рования.
3 Прикладная программа представляет собой программу, разработанную для конкретного безопасного
применения. Во многих случаях такая программа разрабатывается конечным пользователем либо подрядчи
ком. ориентированным на разработку прикладных программ. В тех случаях, когда ряд языков лрограммирова-
50