ГОСТ Р МЭК 61508-3-2012; Страница 56

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

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

ГОСТ Р 55235.2-2012 Практические аспекты менеджмента непрерывности бизнеса. Менеджмент активов. Руководство по применению требований к оптимальному управлению производственными активами (В настоящем стандарте установлены основные принципы применения требований стандарта ГОСТ Р 55235.1, а также приведено руководство по созданию, внедрению, поддержке и улучшению системы менеджмента производственных активов и ее взаимодействия с другими системами менеджмента. Настоящий стандарт не устанавливает обязательных методов внедрения требований стандарта ГОСТ Р 55235.1, но способствует их лучшему пониманию путем описания необходимых действий с производственными активами. Настоящий стандарт не содержит дополнительных требований, помимо требований, установленных в стандарте ГОСТ Р 55235.1. В настоящий стандарт включены и заключены в тонкие рамки положения из ГОСТ Р 55235.1) ГОСТ Р ИСО/ТС 10303-1063-2012 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1063. Прикладной модуль. Наличие изделия в составе другого изделия (Настоящий стандарт определяет прикладной модуль «Наличие изделия в составе другого изделия». В область применения настоящего стандарта входят:. - обозначение наличия изделия некоторой версии в структуре изделия;. - связь наличия изделия некоторой версии с определением этой версии изделия, из которой наличие изделия происходит;. - характеристика наличия изделия, которая определяется описанием изделия;. - количественная характеристика имеющихся в наличии изделий;. - обозначение наличия функции;. - уточнение концепции наличия изделия, позволяющее представить наличие составной части изделия. В область применения настоящего стандарта не входят:. - описание отношений в сборочной единице;. - связь с функциями или альтернативными решениями для элемента решения, в котором используется наличие изделия;. - описание сценариев использования наличия детали в семействе изделий) ГОСТ Р ИСО/ТС 10303-1103-2012 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1103. Прикладной модуль. Определение класса изделия (Настоящий стандарт определяет прикладной модуль «Определение класса изделий». В область применения настоящего стандарта входят:. - определение семейства схожих изделий, которые должны быть предложены на рынке, в качестве класса изделий;. - соотношения между классами изделий;. - формирование категорий спецификаций, которые могут быть использованы для того, чтобы описывать характеристики представителя класса изделий;. - представление в спецификации булевых выражений;. - представление правил зависимостей между спецификациями;. - связь категорий спецификаций, спецификаций, выражений спецификаций и правил зависимости спецификаций с классом изделий;. - элементы, входящие в область применения прикладного модуля ИСО/ТС 10303-1113 «Группа»;. - элементы, входящие в область применения прикладного модуля ИСО/ТС 10303-1060 «Идентификация концепции изделия». В область применения настоящего стандарта не входят:. - обозначение составных частей, которые должны быть использованы в представителях класса изделий;. - обозначение технологических процессов, которые должны использоваться для изготовления, сборки или управления представителями класса изделий)

Страница 56

Страница 1

Untitled document

ГОСТ Р МЭК 61508-3—2012

Приложение С

(справочное)

Свойства стойкости к систематическим отказам программного обеспечения

С.1 Введение

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

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

результат для любого заданного применения. Целью настоящего приложения является:

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

систематическим отказам программного обеспечения;

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

Настоящее приложение является дополнением к приложениям А и В.

С.1.1 Структура приложения С. связанная с приложениями А и В

Выходные данные каждой стадии жизненного цикла программного обеспечения системы безопасности опре

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

безопасности.

Т аблица А.1 («Спецификация требований к программному обеспечению системы безопасности») приложения А

рекомендует конкретные методы разработки спецификации требований к программному обеспечению системы

безопасности:

Метод/средство^

Ссылка

УПБ1УПБ2

УПБЗ УПБ4

1а Полуформальные методы

Таблица В. 7

HRHR

1Ь Формальные методы

В.2.2. С.2.4

—R

RHR

2 Прямая прослеживаемость между требованиями к системе без

опасности и требованиями к программному обеспечению системы

безопасности

С.2.11

HRHR

3 Обратная прослеживаемость между требованиями к системе

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

С.2.11

HRHR

4 Компьютерные средства разработки спецификаций для под

держки. перечисленных выше, подходящих методов’средств

В.2.4

HRHR

Т аб лица С.1 («Свойства систематической полноты безопасности — спецификация требований к программному

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

системы безопасности характеризуется следующими требуемыми свойствами (которые неформально определены в

[5]. приложение F):

Свойства

Ясность

требований

к системе

безопасности

Полнота

охвата

потребностей

безопасности

программным

обеспечением

Корректность

охвата

потребностей

безопасности

программным

обеспечением

Отсутствие

ошибок всамой

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

включая

отсутствие

неоднозначности

Отсутствие неблагоприятного

взаимовлияния функций, не

связанных с безопасностью, и

функций безопасности, реали-

зуемых программным обеспече-

нием системы безопасности

Способность

обеспечения

проведения

оценки

и подтверждения

соответствия