ГОСТ Р 50739-95; Страница 5

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

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

ГОСТ Р 50703-2002 Комбайны проходческие со стреловидным исполнительным органом. Общие технические требования и методы испытаний ГОСТ Р 50703-2002 Комбайны проходческие со стреловидным исполнительным органом. Общие технические требования и методы испытаний Heading machines having cutter heads mounted on booms. General technical requirements and test methods (Настоящий стандарт распространяется на проходческие комбайны со стреловидным исполнительным органом и гусеничной ходовой частью, предназначенные для механизации отбойки и погрузки горной массы при проведении горизонтальных и наклонных горных выработок, арочной, трапециевидной и прямоугольной форм сечения. Стандарт устанавливает единые технические требования и методы контроля параметров при изготовлении и испытаниях вновь разрабатываемых комбайнов. Настоящий стандарт не распространяется на комбайны с мощностью электродвигателя исполнительного органа менее 45 кВт) ГОСТ Р 50762-95 Общественное питание. Классификация предприятий ГОСТ Р 50762-95 Общественное питание. Классификация предприятий Public catering. Classification for enterprises (Настоящий стандарт устанавливает классификацию предприятий общественного питания, общие требования к предприятиям общественного питания различных типов и классов. Положения настоящего стандарта распространяются на предприятия общественного питания различных организационно-правовых форм. Стандарт пригоден для целей сертификации при присвоении и подтверждении типа и класса предприятиям общественного питания) ГОСТ Р 50775-95 Системы тревожной сигнализации. Часть 1. Общие требования. Раздел 1. Общие положения ГОСТ Р 50775-95 Системы тревожной сигнализации. Часть 1. Общие требования. Раздел 1. Общие положения Alarm systems. Part 1. General requirements. Section 1. General (Настоящий стандарт устанавливает общие требования к разработке, монтажу, приемо-сдаточным испытаниям, эксплуатации, техническому обслуживанию и ведению формуляра ручных и автоматических систем тревожной сигнализации (систем охранной, охранно-пожарной сигнализации - СТС), используемых для защиты людей, имущества и окружающей среды. Настоящий стандарт распространяется на вновь проектируемые системы охранной, охранно-пожарной сигнализации. Настоящий стандарт не распространяется на удаленные центры. Стандарт не распространяется на СТС, эксплуатируемые в помещениях категорий А и Б взрывопожарной опасности по НПБ 105-2003 и вне помещений на территориях с наружными установками категорий Ан и Бн по НПБ 105-2003, СТС подвижных объектов, СТС, применяемые в системах специального назначения и системах физической защиты ядерно-опасных и других особо важных объектов)

Страница 5

ее классификационной меткой.

5.3 Требования к гарантиям

5.3.1 Требования к гарантиям определяют следующие показатели защищенности, которые должны поддерживаться СВТ:

а) гарантии проектирования;

б) надежное восстановление;

в) целостность КСЗ;

г) контроль модификации;

д) контроль дистрибуции;

е) гарантии архитектуры;

ж) взаимодействие пользователя с КСЗ;

з) тестирование.

5.3.2 На начальном этапе проектирования КСЗ должна быть построена модель защиты, задающая принцип разграничения доступа и механизм управления доступом. Эта модель должна содержать:

а) непротиворечивые ПРД;

б) непротиворечивые правила изменения ПРД;

в) правила работы с устройствами ввода и вывода;

г) формальную модель механизма управления доступом.

Спецификация части КСЗ, реализующего механизм управления доступом и его интерфейсов, должна быть высокоуровневой. Эта спецификация должна быть верифицирована на соответствие заданным принципам разграничения доступа.

Для высоких классов защищенности СВТ должно быть предусмотрено, чтобы высокоуровневые спецификации КСЗ были отображены последовательно в спецификации одного или нескольких нижних уровней вплоть до реализации высокоуровневой спецификации КСЗ на языке программирования высокого уровня. При этом методами верификации должно быть доказано соответствие каждого такого отображения спецификациям высокого (верхнего для данного отображения) уровня, а также соответствие объектного кода тексту КСЗ на языке высокого уровня. Этот процесс может включать в себя как одно отображение (высокоуровневая спецификация - язык программирования), так и последовательность отображений в промежуточные спецификации с понижением уровня вплоть до языка программирования. В результате верификации соответствия каждого уровня предыдущему должно достигаться соответствие реализации высокоуровневой спецификации КСЗ модели защиты.

5.3.3 Процедуры восстановления после сбоев и отказов оборудования должны обеспечивать полное восстановление свойств КСЗ.

5.3.4 В СВТ должны быть предусмотрены средства периодического контроля за целостностью программной и информационной части КСЗ.

Программы КСЗ должны выполняться в отдельной части оперативной памяти. Это требование должно быть подвергнуто верификации.

5.3.5 При проектировании, построении и сопровождении СВТ должно быть предусмотрено управление конфигурацией СВТ, т.е. управление изменениями в формальной модели, спецификациях (разных уровней), документации, исходном тексте, версии в объектном коде. Между документацией и текстами программ должно быть соответствие. Генерируемые версии должны быть сравнимыми. Оригиналы программ должны быть защищены.

5.3.6 При изготовлении копий с оригинала СВТ должен быть осуществлен контроль точности копирования КСЗ. Изготовленная копия должна гарантированно повторять образец.

5.3.7 КСЗ должен обладать механизмом, гарантирующим перехват диспетчером доступа всех обращений субъектов к объектам.

5.3.8 КСЗ должен иметь модульную и четко определенную структуру, что сделает