ГОСТ Р МЭК 61508-3-2007; Страница 34

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ Р 52911-2008 Топливо твердое минеральное. Методы определения общей влаги Solid mineral fuels. Methods for determination of total moisture (Настоящий стандарт распространяется на каменные угли, бурые угли, лигниты, антрациты, горючие сланцы и устанавливает методы определения общей влаги, а также внешней влаги и влаги воздушно-сухого топлива. Содержание влаги в топливе определяют по потере массы при высушивании пробы в токе азота или на воздухе. Высушивание в токе азота применимо ко всем видам топлива, а высушивание на воздухе - к топливу, устойчивому к окислению при нагревании до 105 град. С - 110 град. С. При возникновении разногласий определение общей влаги проводят по настоящему стандарту) ГОСТ Р МЭК 61508-5-2007 Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 5. Рекомендации по применению методов определения уровней полноты безопасности Functional safety of electrical, electronic, programmable electronic safety-related systems. Part 5. Guidelines for methods of the determination of safety integrity levels (Настоящий стандарт предоставляет информацию:. - о концепциях, лежащих в основе понятия риска, а также о связи риска и полноты безопасности;. - о ряде методов, позволяющих определить уровни полноты безопасности для электрических, электронных, программируемых электронных систем, связанных с безопасностью, основанных на других технологиях, и для внешних средств снижения риска) ГОСТ Р 12.4.237-2007 Система стандартов безопасности труда. Одежда специальная. Методы испытания материала при воздействии брызг расплавленного металла Occupational safety standards system. Protective clothing. Methods of testing the material on impact of splashes of molten metal (Настоящий стандарт определяет методы испытаний устойчивости материалов, используемых для защитной одежды, к брызгам жидкого металла, в том числе стали. Настоящий стандарт распространяется на специальную одежду и на материалы одежды для лиц, выполняющих сварку металла или аналогичные работы. Испытаниям подвергаются любые мягкие материалы или пакеты материалов, предназначенные для защиты работников от брызг расплавленного металла)

Страница 34

Страница 1

Untitled document

ГОСТ Р МЭК 61508-3—2007

Т а б л и ц а А.2 — Проектирование и разработка программного обеспечения, проектирование архитектуры про

грамм (см. 7.4.3)

Метод/средстоо’*

СсылкаSIL1

SIL2SIL3SIL4

1 Обнаружение и диагностика ошибок

2 Коды с обнаружением и исправлением ошибок

За Программирование с проверкой на ошибки

ЗЬ Методы «подушки безопасности»

Зс Многовариантное программирование

3d блоки восстановления

Зе Восстановление предыдущего состояния

3f Переход к последнему достигнутому состоянию

Зд Повторный запуск механизмов восстановления

после ошибок

С.3.1

—

С.3.2 R

С.3.3 R

С.3.4—

С.3.5 R

С.3.6 R

С.3.7 R

С.3.8 R

С.3.9 R

R HR HR

R R HR

R R R

R R HR

R R R

R R HR

3h Запоминание достигнутых состояний

4 Постепенное отключение блоков

5 Искусственный интеллект — исправление ошибок

6 Динамическая реконфигурация

7а Структурные методы, включая, например. JSD,

MASCOT. SADT и Yourdon

С.3.10—

С.3.11 R

С.3.12—

С.3.13

—

С.2.1HR

R R HR

R HR HR

NR NR NR

HR HR HR

7Ь Полуформальные методы

7с Формальные методы, включая, например. CCS.

CSP. HOL, LOTOS. OBJ. временную логику. VDM и 2

Таблице В.7 R

С.2.4

—

R HR HR

R R HR

8 Компьютерные средства разработки специфика

ций

В.2.4R

RHRHR

Методы/средства следует выбирать в соответствии с уровнем полноты безопасности. Альтернативные

или эквивалентные методы/средства обозначаются буквами, следующими за числом. Следует выполнять толь

ко один из альтернативных или эквивалентных методов/средств.

П р и м е ч а н и е — Приведенные в данной таблице средства, касающиеся устойчивости к ошибкам

(контроль ошибок), должны рассматриваться совместно с требованиями, описанными в МЭК 61508-2. к архитек

туре и контролю ошибок для аппаратных средств программируемых электронных устройств.

Т а б л и ц а А.З — Проектирование и разработка программного обеспечения: инструментальные средства под

держки и языки программирования (см. 7.4.4)

Meiод.’средство11СсылкаSIL1

SIL2SIL3SIL4

1 Выбор соответствующего языка программированияС.4.6HR

2 Использование языков программирования со строС.4.1HR

гой типизацией

HR HR HR

3 Подмножество языкаС.4.2

—

...

HRHR

4а Сертифицированные средстваС.4.3R

4Ь Инструментальные средства, заслуживающие доС.4.4HR

верия на основании опыта использования

HR HR HR

5а Сертифицированный компиляторС.4.3R

5Ь Трансляторы, заслуживающие доверия на основаС.4.4HR

нии опыта использования

HR HR HR

6 Библиотека проверенных/сертифицированных моС.4.5R

дулей и компонентов

HRHRHR

11Методы/средства следует выбирать в соответствии с уровнем полноты безопасности. Альтернативные

или эквивалентные методы/средства обозначают буквами, следующими за числом. Следует выполнять только

один из альтернативных или эквивалентных методов/средств.