Та бл и ца С.1 с помощью неформальной шкалы R1/R2/R3 также ранжирует эффективность конкретных методов в достижении этих требуемых свойств:
ГОСТ Р МЭК 61508-3—2012
X
г
«
л
2
V
X i
?
£
Z
*
* X
?
а.
г х
г х к
© О t* h
Оs й
5
| | | ! |
с
R1
Определяемая но
та иия, снижающая
неоднозначность в
спецификации
sS
“
5 S
I
iS
I l i y i i l l J
°!1!5| | 15”
• H
*
t o g
I
i l S g
*
I
*
S
<5 о
5 о
Is
i
1
•р д
г
•
81
I s
R1
Определяемая
но
тация, ограничиваю
щая
возможность
для непонимания.
R2
Применение преде
лов
сложности
в
спецификации
«
8
I
1
i
5
!
5
5
Si*
3
1
о
Ш
I f f
ОS
R1
Метод и нотация, которые по
могают предотвратить или об
наружить
внутреннюю
иесо-
гласованность.отсутствующве
поведениеили математически
несовместимые выражения.
R2
Проверка спецификации со
гласно критериям охвата.
R3
Проверка
спецификации,
основанная на систематиче
ском анализе и/или система
тическом
предотвращении
определенных типов отказов
внутри спецификации
t
O
l
U 3
7
| 1| 1
К
■X
£§г *
i
H i l l
I j i l l
I
о
R1
Дружественный ипи
зависящий от пред
метной области ме
тод спецификации и
нотация, используе
мые специалистами
в проблемной обла
сти.
R2
Верификация
спе
цификации
соглас
но критерию охвата
Я
• к
5
•
i
8
0
za
»
2 -S X
3
5
* ft 0 X
:^SH
I I I I!
s&=
| ®
g
1|!
^
>S С S
j l i i
к
|
1’8
t ; l
|
ass
||S I ,
?
11
s
1
It
n
| i
1
•U s
52