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

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

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

Страница 60

Страница 1

Untitled document

ГОСТ Р 53195.5—2010

В настоящее время регулярным процедурам сертификации подвергаются только компиляторы (транслято

ры): сертификация проводится национальными органами по сертификации. Она заключается в проверке компи

ляторов (трансляторов) на соответствие национальным (международным) стандартам, например, для языков

ADA или Pascalи в подтверждении соответствия.

Важно отметить, что сертифицированные инструментальные средства и сертифицированные трансляторы

обычно сертифицируются только на соответствие стандартам на определенный язык или процесс. Обычно они

никак не сертифицируются на соответствие стандартам по безопасности.

Более подробное описание данного метода/средства приведено в [174. 175).

В.4.4 Инструментальные средства, заслуживающие доверия на основании опыта использования

П р и м е ч а н и е — Ссылка на данные мегоды’средства приведена в ГОСТ Р 53195.4 (таблица А.З).

Цель: исключение проблем, обусловленных ошибками транслятора, которые могут появиться во время

разработки, верификации и эксплуатации ПО.

Описание: транслятор используется в тех случаях, когда неправильное исполнение многих предыдущих

проектов неочевидно. Если отсутствует опыт эксплуатации трансляторов или в них обнаружены любые известные

серьезные ошибки, то от таких трансляторов следует отказаться при отсутствии других гарантий корректной

работы транслятора (см. В.4.4.1).

Если в трансляторе выявлены небольшие недостатки, то соответствующие языковые конструкции фиксиру

ются и в проектах СБЗС-систем не применяются.

Другим вариантом исключения проблем, обусловленных ошибками транслятора, является ограничение

языка до конструкций, признанных общепринятыми.

Доказано, что недоработанные трансляторы служат серьезным препятствием в любой разработке ПО.

Такие трансляторы в общем случае делают невозможной разработку ПО СБЗС-систем.

В настоящее время не существует методов подтверждения корректности всего транслятора или отдельных

его частей.

В.4.5 Сравнение исходных программ и исполнимых кодов

Цель: удостовериться в том. что инструменты, используемые для создания образа PROM, не вносят в него

никаких ошибок.

Описание: образ PROM преобразуется обратно в совокупность «объектных» модулей, а эти «обьектныв»

модули преобразуются обратно в скомпонованные файлы языка, которые затем с помощью подходящих мето

дов сравниваются с фактическими исходными файлами, первоначально использованными для разработки PROM.

Основное преимущество данного метода состоит в том. что инструменты (компиляторы, редакторы связей

(компоновщики) и т. п.). используемые для разработки образа PROM, не требуют подтверждения соответствия.

Этим методом проверяют правильность преобразования исходного файла, используемого для конкретной СБЗС-

системы.

Более подробное описание данного метода/средства приведено в [176—178].

В.4.6 Библиотека проверенных/верифицированных модулей и компонентов

П р и м е ч а н и е — Ссылка на данный метод/средство приведена в ГОСТ Р 53195.4 (таблица А.З).

Цель: исключение необходимости многократных повторных проверок или перепроектирования компонен

тов ПО и АС при каждом новом применении: содействие созданию проектов, которые не были формально или

строго проверены, но относительно которых имеется значительная предыстория эксплуатации.

Описание: хорошо спроектированные и структурированные СБЗС-системы строятся из множества компо

нентов и модулей АС и ПО. которые четко различаются икоторые взаимодействуют друг сдругом строго специфи

цированным способом.

Различные СБЗС-системы. созданные для различных применений, могут содержать большое число одина

ковых или очень схожих между собой программных модулей или компонентов. Создание библиотеки таких обще

применимых программных модулей позволяет использовать большую часть ресурсов, необходимых для под-

тверхщения соответствия проекта, одновременно для нескольких применений.

Кроме того, использование подобных программных модулей для многих применений дает практическое

подтверждение их успешной эксплуатации. Это практическое подтверждение увеличивает доверие пользовате

лей к программным модулям.

Один из подходов, в соответствии с которым программному модулю можно доверять при его практическом

использовании, описан в В.2.10.

Более подробное описание данного метода/средства приведено в [179. 180).

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

П р и м е ч а н и е — Ссылка на данный метод/средство приведена в ГОСТ Р 53195.4 (таблица А.З).

Цель: обеспечение в максимальной степени требований настоящего стандарта для специального защища

ющего программирования, строгой типизации, структурного программирования и. возможно, суждений. Выбран

ный язык программирования должен обеспечить легко верифицируемый код и простые процедуры разработки,

верификации и эксплуатации ПО.