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

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

Ещё ГОСТы из 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 (Настоящий стандарт определяет методы испытаний устойчивости материалов, используемых для защитной одежды, к брызгам жидкого металла, в том числе стали. Настоящий стандарт распространяется на специальную одежду и на материалы одежды для лиц, выполняющих сварку металла или аналогичные работы. Испытаниям подвергаются любые мягкие материалы или пакеты материалов, предназначенные для защиты работников от брызг расплавленного металла)

Страница 35

Страница 1

Untitled document

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

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

(см. 7.4.5 и 7.4.6)

МетодГсредстео’?СсыпкаSIL1

SIL2SIL3SIL4

1а Методы, использующие структурирование, вклюС.2.1HR

чая. например. JSD, MASCOT. SADT и Yourdon

HRHRHR

1D Полуформальные методы

Таблица В.7RHRHRHR

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

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

С.2.4

—

RRHR

2 Компьютерные средства проектирования

В.3.5RRHRHR

3 Защитное программирование

С.2.5—RHRHR

4 Модульный подход

Таблица В.9HRHRHRHR

5 Стандарты для проектирования и кодирования

Таблица В.1RHRHRHR

6 Структурное программирование

С.2.7HRHRHRHR

7 Использование проверенных/верифицированных С.2.10. С.4.5RHRHRHR

программных модулей и компонентов (по возможности)

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

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

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

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

лей и интеграция (см. 7.4.7 и 7.4.8)

Мегод/средстао’7

СсыпкаSIL1

SIL2SIL3SIL4

1 Вероятностное тестирование

С.5.1—

RRHR

2 Динамический анализ и тестирование

B.6.S.R

таблица В.2

HRHRHR

3 Запись и анализ данных

С.5.2HR

HRHRHR

4 Функциональное тестирование и тестирование ме В.5.1. B.S.2.HRHRHRHR

тодом черного ящикатаблица В.З

5 Тестирование характеристик

С.5.20,RRHRHR

таблица В.6

6 Тестирование интерфейса

С.5.3RRHRHR

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

П р и м е ч а н и е — Тестирование программных модулей и интеграции относится к процессам верифи

кации (см. таблицу А.9. приложение А).

Т а б л и ц а А.6 — Интеграция программируемых электронных устройств (программное обеспечение и аппарат

ные средства) (см. 7.5)

МстодГсредсгао ’’СсыпкаSillSIL2SIL3SIL4

1 Функциональное тестирование итестирование ме В 5.1. В.5.2.HRHRHRHR

тодом черного ящикатаблица В.З

2 Тестирование характеристик C.S.20.RRHRHR

таблица В.6

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

П р и м е ч а н и е — Интеграция программируемых электронных устройств относится к процессам вери

фикации (см. таблицу А.9. приложение А).