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

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

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

Страница 50

Страница 1

Untitled document

ГОСТ Р 53195.5—2010

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

при готовности обоих процессов. Может быть промоделирована относительная синхронизация событий.

Теоретические положения метода/средства CSP были непосредственно включены в архитектуру транспью

тера INMOS. а язык OCCAM позволил непосредственно реализовывать на сетях транспьютеров системы, специ

фицированные в CSP.

Более подробное описание данного метода,’средства приведено в [121. 122).

В.2.4.4 HOL — логика высокого порядка

Цель: предоставление формального языка, применяемого в качестве основы для спецификации и верифи

кации аппаратных средств.

Описание: HOL представляет собой конкретную логическую нотацию и систему, которая ее автоматически

поддерживает. Языки HOL были разработаны в компьютерной лаборатории Кембриджского университета. Логи

ческая нотация взята в основном из простой теории типов Черча, а машинная реализация основана на теории

LCF (логике вычислимых фуккциий).

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

В.2.4.5 LOTOS

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

ные процессы.

Описание: LOTOS (язык для спецификации процессов, упорядоченных во времени) основан на CCS с до

полнительными возможностями из близких алгебраических теорий CSP и CIRCAL (теория цепей). Он. преодоле

вая недостатки языка CCS в управлении структурами данных и в представлении значений выражений, объединя ет

его со вторым компонентом, основанным на языке абстрактных типов данных ACT ONE. Процесс описания

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

тных типов данных.

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

В.2.4.6 Язык OBJ

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

соответствия системы до ее реализации.

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

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

цированы в терминах операций, действующих над абстрактными типами данных (ADT). Язык ADT подобен языку

ADA. в котором поведение оператора наблюдаемо, однако подробности реализации скрыты.

Спецификация OBJ и последующая пошаговая реализация подвергаются тем же формальным методам

проверки, что и вдругих формальныхметодах. Более того, поскольку конструктивные аспекты спецификации OBJ

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

основе самой спецификации. Исполнение это. по существу, оценка функций путем подстановки (перезаписи)

выражений, которая продолжается до тех пор. пока не будут получены конкретные выходные значения. Это

исполнение позволяет конечным пользователям рассматриваемой системы получать «облик» планируемой

системы на этапе ее спецификации без необходимости знакомства с методами, лежащими в основе формальных

спецификаций.

Как и все другие средства ADT. язык OBJ применим только к последовательным системам или к последова

тельным аспектам параллельных систем. OBJ используется для спецификации как малых, так и крупных про

мышленных применений.

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

В.2.4.7 Временная логика

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

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

Описание: стандартная предикатная логика первого порядка не содержит концепций времени. Временная

логика расширяет логику первого порядка добавлением модальных операторов (например, «с этого момента» и

«случайно»). Эти операторы могут использоваться для уточнения суждений о системе. Например, свойства безо

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

другие необходимые состояния системы были достигнуты «случайно» из некоторого другого начального состоя

ния. Временные формулы интерпретируются последовательностями состояний (поведениями). Что такое «со

стояние». зависит от выбранного уровня описания. Оно может относиться ко всей системе, системным компонен там

или компьютерной программе.

Задаваемые количественно (квонтифицированные) временные интервалы и ограничения во временной

логике не обрабатываются явно. Абсолютное время обрабатываются путем образования дополнительных вре

менных состояний как части описания состояния.

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

В.2.4.8 VDM, VDM++ — метод разработки Vienna

Цель: систематическая спецификация и реализация последовательных (VDM) и параллельных (VDM++)

программ реального времени.