ГОСТ Р 55544—201З
Л
ЕС/TR 80002-1:2009
Продолжение таблицы В.2
Программ ны е причины
Типы
Анализ: С татический (CJ. Д инам ический (Д). Временной (В )
В Е Р И Ф И КА Ц И И
И спы тание (м одульное, интеграционное)
П роверка
М еры по УПРАВ
Л
ЕНИ Ю РИСКОМ
Ошибка сравнения рацио
нальной переменной с
переменной целого типа
(ОБО)
XX
Защищенное кодирование
Связанные с аппаратными
средствами
у ш ш ш
&
ш ш я
!
m isaw aw An................................................................................................................................
ira
ш ш
т а ш
Ш
Работа с ЭСППЗУ:
длительное время ответа,
выработка ресурса
■
Применение специальных режимов (поблочная запись), за
Xв
пись только при изменении данных, запись в кэш и обновле
ние ЭСППЗУ только при сбоях питания
ЦП или аппаратные причины
Проверка ЦП при включении питания. СКС-тест исполняе
X
мого кода, тестирование оперативной памяти, проверка
встроенного таймера и часов, проверка энергозависимой
памяти, проверка времен ожидания ответов аппаратных
модулей, проверка датчиков короткого замыкания, проверка
датчиков по ответу на заданный сигнал
Шумы
Фильтрация цифровых и аналоговых входных сигналов, про
верка процедур обработки прерывания для всех типов преры
ваний — как используемых, так и неиспользуемых
■
"
■
АНОМА
Л
ИИ периферийного
аппаратного обеспечения
Задержки запуска конвертации аналогового сигнала в цифро
вой или из цифрового ваналоговый, проверка времени ответа и
других требований к интерфейсу, проверка причинности
Xв
Временные
Условия работы с ресурсами
’ ИИИЧTl lt’lVl111rrrrriVVV’lV’l’lV’rn111111111ll 1111ИIllVlVlVlVlVlVlVlVlVlVl
!ЖШ
14
г,
Идентификация и защита (блокировка использования) сов
С
местно с используемыми ресурсами в процессе их обновле
ния. реализация одного нециклического ПРОЦЕССА для оцен
ки совместно используемых ресурсов, анализ совместно ис
пользуемых ресурсов
Пропущенные сроки
ожидания ответа
Установка требований к времени ожидания ответа, использо
в
вание правильных алгоритмов реального времени, структур
ное исключение инверсии приоритета ожидания ответа, избе
гание неопределенных времен ожидания, проверка выпол
нения всех допусков по временам ожидания для завершенно
го кода.
Пропущенные прерывания
П р и м е ч а н и е — Неопределенные времена ожидания
включают рекурсивные процедуры, ожидание ответа от аппа
ратного обеспечения, динамическое резервирование памя
ти. использование виртуальной памяти (с перебросом стра
ниц с жесткого диска или на него)
Использование простой АРХИТЕКТУРЫ (с наименьшим коли
в
чеством приоритетов), использование коротких ибыстрых про
цедур обработки прерываний, неиспользование или исполь
зование краткой блокировки прерываний, использование пра
вильного кода в реальном времени
Высокая временная
неравномерность
при передаче данных
Использование коротких и быстрых процедур обработки пре
в
рываний, избегание неопределенных времен ожидания, ис
пользование правильного кодирования в реальном времени,
обновление статуса всех прерываний на передачу данных при
начале выполнения периодических ЗАДАЧ или процедуры об
работки прерывания высокого приоритета
44