Хорошие продукты и сервисы
Наш Поиск (введите запрос без опечаток)
Наш Поиск по гостам (введите запрос без опечаток)
Поиск
Поиск
Бизнес гороскоп на текущую неделю c 29.12.2025 по 04.01.2026
Открыть шифр замка из трёх цифр с ограничениями

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

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

Ещё ГОСТы из 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 (Настоящий стандарт содержит общие термины и определения, требования и руководящие указания для организации лабораторий, требования к методу подтверждения достоверности, описание методов и протоколов испытаний. . Настоящий стандарт распространяется на пищевые продукты, а также семена, корма и растительные образцы, отобранные из окружающей среды)
Страница 15
Страница 1 Untitled document
ГОСТ Р ИСО/МЭК 15408-3 2008
6.4.11 объяснять (explain): Отличаетсяоттерминов «описывать» («describe») и «демонстрировать»
(«demonstrate»). Предназначен для ответа на вопрос «Почему?» без попытки аргументировать, что ход
предпринимаемыхдействийобязательно оптимален.
6.4.12 внутренне непротиворечивый (internally consistent): Отсутствуют очевидные противоречия
между любыми аспектами сущности. Применительно кдокументации это означает, что вней не может быть
изложеночто-либо, что может бытьвоспринято как противоречащеечему-тодругому.
6.4.13 логическое обоснование (justification): Относится к анализу, ведущему к заключению, но
является более строгим, чем термин «демонстрация» («demonstration»), в смысле точных и подробных
объяснений каждого шага логическихсуждений.
6.4.14 взаимно поддерживающие (mutually supportive): Описывает взаимосвязь в группе сущнос
тей. указывая, что последние обладают некоторыми свойствами, которые не находятся в противоречии со
свойствами других сущностей и могут способствовать выполнению другими сущностями их задач.
Нет необходимости определять, чтокаждая из рассматриваемых отдельных сущностей непосредственно
под держиваетдругие сущности в этой группе; достаточно, если сделанообобщенное заключение.
6.4.15доказывать (prove): Относится к формальному анализу в математическом смысле, полнос
тью строгому во всех отношениях. Обычно используется, когда желательно показатьсоответствие между
двумя представлениями ФБО на высоком уровне строгости.
6.4.16 специфицировать (specify): Используется в том же контексте, что и «описывать» («describe»),
но является болеестрогим иточным. Аналогичентермину «определять» («define»).
6.4.17 прослеживать или сопоставлять (trace): Используетсядля указания, что между двумя сущ
ностями требуется только минимальный уровеньстрогости неформальногосоответствия.
6.4.18 верифицировать (verify): Аналогичен термину «подтверждать» («confirm»), но имеет более
глубокий смысл. При использовании в контекстедействий оценщика указывает на то. чтотребуются неза
висимые усилия оценщика.
6.5 Классификация доверия
Классы и семействадоверия, а также их краткие имена приведены в таблице 1.
Т а б л и ц а 1 Классы и семейства доверия
Класс доверия
Семейство доверия
Краткое имя
ACM: Управление
конфигурацией
Автоматизация УК
ACMAUT
Возможности УК
АСМСАР
Область УК
ACM_SCP
ADO: Поставка и эксплуатация
Поставка
ADO_DEL
Установка, генерация и запуск
ADO_K3S
Функциональная спецификация
ADV_FSP
Проект верхнего уровня
ADV_HLD
Представление реализации
ADVJMP
ADV: Разработка
Внутренняя структура ФБО
ADV INT
Проект нижнего уровня
ADVLLD
Соответствие представлений
ADV_RCR
Моделирование политики безопасности
ADV_SPM
AGD: Руководства
Руководство администратора
AGD_ADM
Руководство пользователя
AGDJJSR
Безопасность разработки
ALC.DVS
Устранение недостатков
ALC_FLR
ALC: Поддержка жизненного
цикла
Определение жизненного цикла
ALC_LCD
Инструментальные средства и методы
ALC.TAT
10