ГОСТ Р ИСО/МЭК 15408-3-2008; Страница 43

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

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

ГОСТ Р МЭК 60601-2-51-2008 Изделия медицинские электрические. Часть 2-51. Частные требования безопасности с учетом основных функциональных характеристик к регистрирующим и анализирующим одноканальным и многоканальным электрокардиографам Medical electrical equipment. Part 2-51. Particular requirements for safety, including essential performance, of recording and analysing single channel and multichannel electrocardiographs (Целью настоящего частного стандарта является установление частных требований безопасности, дополняющих требования МЭК 60601-2-25, с учетом основных функциональных характеристик к регистрирующим и анализирующим одноканальным и многоканальным электрокардиографам. Настоящий стандарт не распространяется на Холтеровские электрокардиографы, электрокардиографы для инвазивных исследований, системы контроля за пациентом, электрокардиографы высокого разрешения) ГОСТ Р 53213-2008 Мясо и мясные продукты. Гистологический метод определения растительных белковых добавок Meat and meat products. Histological method of identification of plant protein additives (Настоящий стандарт устанавливает гистологический метод определения растительных белковых добавок для следующих видов мяса и мясопродуктов: . - мясо всех видов убойных животных и птицы;. - мясо механической обвалки и дообвалки, в том числе мясо птицы;. - мясо и мясосодержащие полуфабрикаты (кусковые, рубленые, фарш, пельмени), в том числе с использованием мяса птицы;. - продукты из мяса, в том числе мяса птицы;. - колбасные изделия, в том числе с использованием мяса птицы; . - мясные и мясосодержащие (включая мясорастительные) консервы, в том числе с использованием мяса птицы. Метод основан на идентификации растительных компонентов белкового происхождения в различных видах мясных сырья и продуктов в соответствии с их микроструктурными особенностями с использованием гистологических препаратов) ГОСТ Р 53214-2008 Продукты пищевые. Методы анализа для обнаружения генетически модифицированных организмов и полученных из них продуктов. Общие требования и определения Foodstuffs. Methods of analysis for the detection of genetically modified organisms and derived products. General requirements and definitions (Настоящий стандарт содержит общие термины и определения, требования и руководящие указания для организации лабораторий, требования к методу подтверждения достоверности, описание методов и протоколов испытаний. . Настоящий стандарт распространяется на пищевые продукты, а также семена, корма и растительные образцы, отобранные из окружающей среды)

Страница 43

Страница 1

Untitled document

ГОСТ Р ИСО/МЭК 15408-3 — 2008

Окончание таблицы 12

Класс доверия

Компоненты доверия

АТЕ: Тестирование

ATE_COV.3 Строгий анализ покрытия

ATE_DPT.2 Тестирование: проект нижнего уровня

ATE_FUN.2 Упорядоченное функциональное тестирование

ATEJND.2 Выборочное независимое тестирование

AVA: Оценка уязвимостей

AVA_CCA.2 Систематический анализ скрытых каналов

AVA_MSU.3 Анализ и тестирование опасных состояний

AVA_SOF.1 Оценка стойкости функции безопасности ОО

AVA_VLA4 Высокостойкий

10.9Оценочный уровень доверия 7(ОУД7), предусматривающий формальную верификацию

проекта и тестирование

10.9.1 Цели

ОУД7 применим при разработке безопасных ОО для использования в ситуациях чрезвычайно

высокого риска и/или там. где высокая ценность активовоправдывает повышенные затраты. Практическое

применение ОУД7 в настоящее время ограничено ОО. которые строго ориентированы на реализацию

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

10.9.2 Компоненты доверия

ОУД7 (см. таблицу 13)обеспечивает доверие посредством анализа функций безопасности с исполь

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

терфейсов. руководств, проекта ОО верхнего инижнегоуровней, а также структурированногопредставле

ния реализации. Довериедополнительнодостигается применением формальной модели политики безо

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

уровня, полуформального представления проекта нижнего уровня, а также формальной (если

требуется) и полуформальнойдемонстрации соответствия между ними. Кроме того, требуется модуль

ное. иерархическое (поуровням) и простое проектирование ОО.

Анализ поддержан независимым тестированием ФБО. свидетельством разработчика обиспытаниях,

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

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

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

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

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

анализа разработчиком скрытыхканалов.

ОУД7 также обеспечивает доверие посредством использования структурированного процессаразра

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

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

ОУД7 представляет значимое увеличение доверия по сравнению с ОУД6, требуя всесторонне

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

стороннего тестирования.

Т а б л и ц а 13 — ОУД7

Класс доверия

Компоненты доверия

ACM: Управление конфигурацией

ACM_AUT.2 Полная автоматизация УК

АСМ_САР.5 Расширенная поддержка

ACM_SCP.3 Охват УК инструментальных средств разработки

ADO: Поставка и эксплуатация

ADO_DEL.3 Предотвращение модификации

ADOJGS.1 Процедуры установки, генерации и запуска