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

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

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

Страница 82

Страница 1

Untitled document

ГОСТ Р53195.5—2010

[180] Елманова Н. Полезные компоненты и утилиты для пользователей Delphi. C++Builder и IB Database: про

дукты компании BatSoft. Компьютер Пресс — CD. 1999. № 2.

http://www.Cftforum.ru/progra

mming/comp’

comp02.shtml (дата обращения 07.06.2009)

[181] Элиенс А. Принципы объектно-ориентированной разработки программ. Изд. 2-е. М.: «Вильямс». 2002.

496 с.

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

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

[183] Плаксин М. А. Тестирование и отладка программ —для профессионалов будущих и настоящих. М.: Бином.

Лаборатория знаний. 2007. 167 с.

[184]Тюрин Ю.. Марков А. Анализ данных на компьютере. М.: Инфра-М. 2003. 544 с.

[185] Рубанов В. В., Хорошилов А. В.. ШатохинЕ. А. Т2С: технология автоматизированной разработки тестов

базовой функциональности программных интерфейсов. М.: Труды Института системного программирова

ния РАН. 2008 г. httpi//

www.crtforum.ru/SE/testing/t2c/

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

[186]Калбертсон Р„ Браун К.. Кобб Г. Быстрое тестирование. М.: «Вильямс». 384 с.

[187]Иванова Г. С. Технология программирования. М.: Изд.-во МГТУ им. Н. Э. Баумана. 336 с.

[188]Медина К. Устройства ввода ошибок FBD-памяти для компьютеров IBM System х.

http://wwwibm.corrV

developerworks/ru/library/es-fbd (дата обращения 14.06.2009)

[189] Кпиманг Ю. В. C++. Дистанционное обучение программистов. Уроки по программированию. Урок 8. http:/

/cipg.km.ru/iessons/ci/les08.html (дата обращения 14.06.2009)

[190]Блэк Р. Ключевые процессы тестирования. Планирование, подготовка, проведение, совершенствование.

М.: Лори. 544 с.

[191] Макгрвгор Д„ Сайкс Д. Тестирование обьектно-ориентированного программного обеспечения: Практи

ческое пособие. М.: ТИД «ДС». 432 с.

[192] Бейзер Б. Тестирование черного ящика. Технологии функционального тестирования программного обес

печения и систем. СПб.: Питер. 2004. 320 с.

[193]Бек К. Экстремальное программирование, разработка через тестирование. СПб.: Питер. 2003. 223 с.

[194]Майерс Г. Искусство тестирования программ. Пер. с англ. М.: Финансы и статистика. 1982. 176 с.

[195] Синицын С. В.. Налютин Н. Ю. Верификация программного обеспечения. Лекция 13: Документация, со

провождающая процесс верификации и тестирования (отчеты) «Интернет университет. Информацион

ные технологии»

http://www.intuit.ru/department/se

/verify/13 (дата обращения 25.06.2009)

[196] РоманюкС. Г.Оценка надежности программногообеспечения. М.: НИИСИ РАН.

http://www.uprav.biz/materials/

innov/view/2273.html (дата обращения 25.06.2009)

[197] Смагин В. А. Форсированные быстродействием испытания программного обеспечения на надежность.

http://sprobv-17.narod.ru

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

[198] Смагин В. А. О форсированных испытаниях программного обеспечения на надежность, http://

sprobv-17.narod.ru (дата обращения 25.06.2009)

[199] Смагин В. А. Введение в точностнуютеориюнадежностипрограммного обеспечения, http://

sprobv-17.narod.ru (дата обращения 25.06.2009)

[200]Казарин О. В. Безопасность программного обеспечения компьютерных систем. М.: МГУЛ. 2003. 212 с.

http://infonet.cherepovets.ru

/citforum/security/articJes/kazarin (дата обращения 25.06.2009)

[201] Чернов А. В. Анализ запутывающих преобразований программ. Тр. Института системного программирова

ния РАН. М.. 2003.

http.V/wvAv.citfonjm.ru/security/articles’analysis

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

[202] Ковалев В. В.. Компанией Р. И.. Маньков Е. В.. Дьяченко Д. А.. Пустарнаков В. Ф. Анализ и защита потоков

управления в исполняемых кодах программ. Информационно-издательский центр CONNECT! Мир связи.

2006. № 4

[203] Ахо А. В.. ХолкрофтД.-Э., Ульман Д.-Д. Структуры данныхи алгоритмы. Пер. с англ: Уч. пос. М.: Издатель

ский дом «Вильямс». 2000, 384 с.

[204]Липаев В. Программно-технологическая безопасность информационных систем,

http://wvvw.info-system.nu/

security/security_pr_tech_ security.html (дата обращения 25.06.2009)

[205] Каслерски К. Техника оптимизации программ — эффективное использование памяти. БХВ-Пегербург.

2003. 464 с.

[206] Разработкасложного программного обеспечения.

http://www.devcomplexsoft.ru

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

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

(ГУ). 2006. 304 с.

http://window.edu.ru/window_catalog/files/r41699/lavrishcheva_petrukhin.pdf

(дата обраще

ния 26.06.2009)

[208] Тенихин А. Л. Применение формальных методовдоказательства присоздании безопасных систем. СПбГТУ,

кафедра ИБКС.

http://www.ssl

. stu.neva.ru/ssl/publications/magazine’2000/2/3/tenihin.pdf (дата обращения

26.06.2009)

[209]Боуэн Д.-П., Хинчи М.-Д. Десять заповедей формальных методов.

http://wvw.osp.rU/pcworld/1997/09/157957

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

[210] Немолочнов О. Ф.. ЗыковА. Г., Осовецкий Л. Г.. Поляков В. И., Петров К. В. Тестирование логических

неисправностей вычислительных процессов в программах // Информационные технологии. 2007. № 12.

с. 2—5