Т аблица С.9 — Свойства систематической полноты безопасности — верификация программного обеспечения (см. 7.9 и таблиц/ А.9 приложения А)
ГОСТ Р МЭК 61508-3—2012
и
8 6
И
ф
а
г г
2
£ н
х S
& £
>
_
S
к
J
Ф
г &
■
_
? 5
>• W Ф
s г 8
Л
С 5
5*
I
5 §
5S
8 §
S i
5 8
5 г
6|
II
I I
4 8
5 $
« 8
2 £ з
«И
а. н 2
$ (3
ill
о
2
11
г ! i
Ч
*8
»J
гм *
£ 8
; »
a
f i t
1 1
i
i
f
с 5
f
5
“ ’ l l
H l j
4.
i
г
8
if
L
*
*
i
l
Л
ii
5S
i
H
If
*11!
X ¥
о
*
1
<3 i £ 8
с
H
.8
i
i
h
1 s
»8 e
2 5
I
1
-
&
I
8
I
if
1[ f
1
II
I
J i l l
i
*
V,
5
§3
U.
*
ф4 J
i|
fill
« e?Я?.
ц т
i!
| [ i i
^3
2|
fills
■III
s
г
3
|
4-
i
i
*
*
r>
§
$
1
%
i
!
■*
H i ?
S * £ о
о
5
5; i I
ill
Ji i 2
-
1 1 1 1
m в- S S 5
|
l
| &
H | i
5 i
| s s | i
Still
71