ГОСТ Р 53195.5-2010; Страница 80

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

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

ГОСТ Р 8.727-2010 Государственная система обеспечения единства измерений. Государственная поверочная схема для средств измерений звукового давления в водной среде в диапазоне от 1х10 в степени -3 до 1х10 в степени 6 Гц State system for ensuring the uniformity of measurements. State verification scheme for measuring instruments of sound pressure in water within frequency range from 1х10 -3 to 1х10 6 Hz (Настоящий стандарт распространяется на государственную поверочную схему для средств измерений звукового давления в водной среде в диапазоне звуковых давлений до 1·10 в степени 3 Па в диапазоне частот от 1·10 в степени -3 до 1·10 в степени 6 Гц и устанавливает порядок передачи единицы звукового давления от государственного первичного специального эталона единицы звукового давления - паскаля (Па) в водной среде в диапазоне звуковых давлений от 0,1 до 1·103 Па в диапазоне частот от 1*10 в степени -3 до 1·10 в степени 6 Гц с помощью вторичных и рабочих эталонов 1-го и 2-го разрядов рабочим средствам измерений с указанием погрешностей средств измерений и основных методов поверки) ГОСТ Р 53195.4-2010 Безопасность функциональная связанных с безопасностью зданий и сооружений систем. Часть 4. Требования к программному обеспечению Functional safety of building/erection safety-related systems. Part 4. Software requirements (Настоящий стандарт распространяется на:. - программное обеспечение (далее - ПО) программируемых электронных связанных с безопасностью зданий и сооружений систем (далее - Е/Е/РЕ СБЗС-систем), в дальнейшем именуемое СБЗС ПО, а также на системы, подсистемы и компоненты внутри Е/Е/РЕ СБЗС-систем, которые содержат хотя бы один программируемый электронный компонент;. - любое программное обеспечение, являющееся частью СБЗС-системы, либо используемое для разработки системы, связанной с безопасностью, в рамках области применения ГОСТ Р 53195.1, ГОСТ Р 53195.2 и ГОСТ Р 53195.3. Такое программное обеспечение называется программным обеспечением систем, связанных с безопасностью зданий и сооружений (далее - СБЗС ПО). СБЗС ПО включает в себя операционные системы, системное программное обеспечение, программы, используемые в коммуникационных сетях, интерфейсы пользователей и обслуживающего персонала, инструментальные средства поддержки, встроенные программно-аппаратные средства, а также прикладные программы. Прикладные программы включают в себя программы высокого и низкого уровней, а также специальные программы на языках с ограниченной варьируемостью. Настоящий стандарт устанавливает:. - требования к стадиям жизненного цикла СБЗС ПО и действиям, которые должны предприниматься на этих стадиях во избежание ошибок и отказов СПЗС ПО и для принятия необходимых мер при их возникновении;. - минимальный состав информации, относящейся к подтверждению безопасности СПЗС ПО, необходимой для установки, ввода в действие, интеграции и подтверждения соответствия Е/Е/РЕ СБЗС-систем требованиям безопасности;. - требования к подготовке информации и процедурам, относящимся к СБЗС ПО, необходимым пользователю для работы и поддержания Е/Е/РЕ СБЗС-систем в период эксплуатации;. - требования, предъявляемые к действиям при выполнении модификации СПЗС ПО;. - совместно с ГОСТ Р 53195.1, ГОСТ Р 53195.2, ГОСТ Р 53195.3 и ГОСТ Р 53195.5 требования к инструментальным средствам поддержки. Настоящий стандарт не распространяется на ПО одиночных СБЗС-систем, способных осуществить необходимое снижение риска, и требуемая полнота безопасности которых ниже самого низкого уровнем полноты безопасности (SIL1), определенного в таблицах 1 и 2 ГОСТ Р 53195.2. Настоящий стандарт должен применяться совместно с ГОСТ Р 53195.1, ГОСТ Р 53195.2, ГОСТ Р 53195.3 и ГОСТ Р 53195.5) ГОСТ Р ИСО 4254-7-2011 Машины сельскохозяйственные. Требования безопасности. Часть 7. Комбайны зерноуборочные, кормоуборочные и хлопкоуборочные Agricultural machinery. Safety requirements. Part 7. Combine harvesters, forage harvesters and cotton harvesters (Настоящий стандарт устанавливает требования безопасности к конструкции и изготовлению зерноуборочных, кормоуборочных и хлопкоуборочных комбайнов, а также методы контроля указанных требований. Совместное применение данного стандарта и стандарта ИСО 4254-1 устанавливает требования безопасности к зерноуборочным, кормоуборочным и хлопкоуборочным комбайнам, которые могут возникнуть при их использовании по назначению и в условиях, предусмотренных производителем. Если положения данного стандарта отличаются от положений ИСО 4254-1, они имеют приоритет перед ИСО 4254-1 для машин, сконструированных и изготовленных согласно требованиям данного стандарта. Положения данного стандарта не распространяются на опасности, связанные с зерновым бункером (выгрузкой), вибрацией и движущимися частями трансмиссии, за исключением требований прочности, предъявляемых к защитным ограждениям и барьерам. Требования к органам управления тормозами и рулевому управлению регламентированы исключительно в плане эргономики (например, расположение рулевого колеса и педали тормоза). Другие аспекты здесь не рассматриваются. Для прицепных комбайнов данный стандарт применим лишь в части опасностей, связанных с рабочим процессом. Требования этого стандарта распространяются на машины, разработанные после его введения в действие)

Страница 80

Страница 1

Untitled document

ГОСТ Р53195.5—2010

[117]Леоненков А. В. UML 2 Самоучитель. СПб.: БХВ-Петербург. 2007. 576 с.

[118]Энсор Д.. Стивенсон Й. Oracle. Проектирование баз данных. BHV-Киев. 2000. 560 с.

[119] Системная информатика. Сб. науч. тр. Вып. 9. Формальные методы и модели информатики. Новоси

бирск: Изд-во СО РАН. 2004

[120]Макконнелл Д. Основы современных алгоритмов. М.: Техносфера. 2006. 368 с.

[121]Топорков В. В. Модели распределенных вычислений. М.: Физматлит. 2004. 320 с.

[122]Бэкон Д. Харрис Т. Операционные системы. Параллельные и распределенные системы. СПб.: Питер.

Издательская группа BHV. 2004, 800 с.

[123]Ступников С. А. Моделирование композитных уточняющих спецификаций. Диссертация канд. техн. наук.

М.: Ин-т проблем информатики РАН. 2006. На правах рукописи

[124] Никифоров А. Ю. Язык описания взаимодействия иерархических систем и его персонализация//Про

граммные продукты и системы. 2009. № 1

[125]Дорошенко А. Е., Шевченко Р. С. Система символьных вычислений для программирования динамических

приложений, http:i7oai.org.ua/ index, php/record/view/3144 (дата обращения 25.12.2009)

[126]Блейхут Р. Быстрые алгоритмы цифровой обработки сигналов. М.: Мир. 1989. 448 с.

[127]Григорьев О. М. Аналитико-табличные процедуры для временных логик // Logical Studies. 2000. N° 4

[128]Стемпковский А. Л. Методы логического и логико-временного анализа цифровых КМОП СБИС. М.. Наука.

2007

[129] Гуц А. К. Математическая логика и теория алгоритмов. Электронная библиотека,

http://mat-ua.narod.ru/mat’’

Guz-Logika-Algoritmi.htm (дата обращения 16.05.2009)

[130] Лаврищева Е. М.. Петрухин В. А. Методы и средства инженерии программного обеспечения: Уч. М.: МФТИ

(ГУ). 2006. 304 с.

[131] Разработка технологии верификации управляющих программ со сложным поведением, построенных на

основе автоматного подхода. Этап 1. Выбор направления исследований и базовых методов. Отчет

№ 2007.08.31. СПб.: СПбГУ ИТМО. 2007.

http://is.ifmo.ru/verirication

/2007 01 patent-verification.pdf (дата

обращения 16.05.2009)

[132]Якушин. Программирование с защитой от ошибок.

http://vnftw.tspu

.tula.ru/ivt/okl site/umr/ trpo/node74.html

(дата обращения 16.05.2009)

[133]Колесов A. "Go to&quot: — выражение из четырех букв // BYTE Россия. 2001. N?8 (37)

[134]Петраков А. В. Основы практической защиты информации: Учеб, пособив. М.: Салон-Пресс, 2005, 384 с.

[135]Корт С. С. Теоретические основы защиты информации. М.: Гелиос АРВ. 2004, 240 с.

[136]Домашев А.. Попов В.. Правиков Д., Грунтович М. Программирование алгоритмов защиты информации.

Изд. 2-е.. М.: НОЛИДЖ. 2002. 416 с.

[137] Липаев В. В. Выбор и оценивание характеристик качества программных средств. Методы и стандарты. М.:

СИНТЕГ. 2001. 228 с.

[138]Саттер Г.. Алекса ндреску А. Стандарты программирования на C++. 101 правила и рекомендации. М.:

«Вильямсе. 2005, 224 с.

[139] Сухомлин В. Система программирования тройного стандарта (ЗС++). Науч.-иссл. вычисл. центр МГУ

им. М. В. Ломоносова. httpy/www. citforum.ru/programming/prg96/94.shtml (дата обращения 16.05.2009)

[140]Шпаковский Г. И.. Серикова Н. В. Программирование для многопроцессорных систем в стандарте MPI.

Минск: Изд-во БГУ. 2002. 323 с.

[141] Липаев В. В. Программная инженерия. Методологические основы: Учеб. / В. В. Липаев. Гос. ун-т — Высшая

школа экономики. — М.: ТЕИС. 2006. 608 с.

[142] Липаев В. В. Системное проектирование сложных программных средств для информационных систем. М.:

СИНТЕГ. 2002. 268 с.

[143] Структурное проектирование и структурное программирование. http.7/vnvw.ssti.ru/kpi/informatika/Content/

bi)So/M/inform man/gl 18 2.html (дата обращения 16.05.2009)

[144]Синицын С. В.. Налютин Н. Ю. Верификация программного обеспечения. М.: Бином. Лаборатория знаний

«Интуит». 2008. 368 с.

[145] Кулямин В. В. Перспективы интеграции методов верификации программного обеспечения: Труды Инсти

тута системного программирования РАН. http7/vnvw.citforum.ru/SE/lesting/inlegration (дата обращения

15.07.2009)

[146]Липаев В. В. Тестирование крупных комплексов программ на соответствие требованиям: Учеб. М.: ИПЦ

«Глобус». 2008. 376 с.

[147] Липаев В. В. Системное проектирование сложных программных средств для информационных систем. М:

СИНТЕГ. 2002. 268 с.

[148] Липаев В. В. Методы обеспечения качества крупномасштабных программных средств. М.: СИНТЕГ. 2003.

520 с., ил.

[149]Липаев В. В. Документирование сложных программных средств. М.: СИНТЕГ. 2005. 216 с.

[150]Липаев В. В.. Филинов Е. Н. Мобильность программ иданных воткрытых информационных системах. М.:

Научная книга. 1997, 368 с.