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

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

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

Страница 51

Страница 1

Untitled document

ГОСТР 53195.5—2010

Описание: VDM — это математический метод спецификации и математический метод уточнения реализа

ций. который позволяет доказать их корректность относительно спецификации.

В этом основанном на модели методе спецификации состояние системы моделируется в терминах теоре

тико-множественных структур, в которых описаны инварианты (предикаты), а операции над этим состоянием

моделируются путем определения их пред- и постусловий в терминах системных состояний. Операции могут

проверяться на сохранение системных инвариантов.

Выполнение спецификаций осуществляется путем реализации состояния системы в терминах структур дан

ных в заданном языке и путем уточнения операций в терминах программы на заданном языке. Этапы реализа

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

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

VDM в принципе используется на этапе создания спецификации, но может также использоваться на этапах

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

ванным программам или к последовательным процессам в параллельных системах.

Обьектно-ориентированное и параллельное для реального времени расширения. VDM. VDM++ представ

ляют собой язык формализованных спецификаций, основанный на языке VDM-SL. созданном е ISO. и на обьек-

гно-ориентированном языке Smalltalk.

VDM++ имеет широкий диапазон конструкций, с помощью которых пользователь может формально специ

фицировать параллельные системы реального времени в объектно-ориентированней среде. В VDM++ полная

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

пространства.

К средствам описания реального времени в языке VDM++ относятся:

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

ва метода внутри тепа метода:

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

фикации верхних (или нижних) пределов времени исполнения для корректности реализаций;

- переменные непрерывного времени, которые должны быть введены. С условными операторами и опера

торами действия можно специфицировать отношения (например, дифференциальные уравнения) между этими

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

мам. которые действуют в среде с непрерывным временем. Уточняющие шаги приводят к дискретным программ

ным решениям для систем подобного вида.

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

В.2.4.9 Z-метод

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

ния. применяемого разработчиком на стадиях от составления спецификации на языке Z до разработки исполни

тельных алгоритмов, позволяющей при этом доказать их корректность по отношению к спецификации. Больше

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

Описание: как и в методе VDM. в этом основанном на модели Z-методв спецификации состояний системы

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

операции над этим состоянием моделируются путем определения их пред- и постусловий в терминах системных

состояний. Операции могут проверяться на сохранение системных инвариантов, демонстрируя тем самым их

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

ность структурирования спецификаций путем их усовершенствования.

Обычно спецификация Z представляет собой сочетание формального Z-текста и неформального поясни

тельного текста на естественном языке. (Формальный текст сам по себе может оказаться слишком сжатым для

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

может оказаться неоднозначным и неточным.)

В отличие от VDM язык Z представляет собой скорее нотацию, чем завершенный метод. Однако был разра

ботан близкий метод (названный В-методом). который может быть использован в сочетании с языком Z. Метод В

основан на принципе пошагового уточнения.

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

В.2.5Программирование с защитой

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

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

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

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

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

граммирования системы с целью уменьшения вероятности ошибочной обработки данных.

Имеются два пересекающихся множества методов защиты. Внутренние методы/средства защиты от оши

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

могут быть обусловлены ошибками при проектировании или кодировании либо ошибочными требованиями. Ниже

перечислены некоторые из методов защиты:

- проверка диапазона значений переменных: