ГОСТ Р ИСО 10303-43-2016; Страница 30

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

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

ГОСТ Р 57305-2016 Информатизация здоровья. Требования к международному машиночитаемому кодированию идентификаторов упаковок лекарственных средств (Настоящий стандарт содержит руководство по идентификации и маркировке лекарственных средств - от момента изготовления упакованного лекарственного средства до момента его отпуска. В настоящем стандарте выделены лучшие методики для технологии AIDC, основанной на штриховом кодировании. Пользователи тем не менее могут рассматривать требования к интероперабельности кодирования для других технологий AIDC, например использующих радиочастотную идентификацию (RFID)) ГОСТ Р МЭК 61784-1-2016 Промышленные сети. Профили. Часть 1. Профили полевых шин (Настоящий стандарт определяет набор протоколов конкретных коммуникационных профилей, основанных, прежде всего на сериях МЭК 61158, для использования при проектировании устройств, применяемых для передачи данных в системах управления промышленных предприятий) ГОСТ Р МЭК 62279-2016 Железные дороги. Системы связи, сигнализации и обработки данных. Программное обеспечение систем управления и защиты на железных дорогах (Настоящий стандарт определяет процедуры и технические требования для разработки программируемых электронных систем для использования в приложениях управления и защиты на железных дорогах. Настоящий стандарт нацелен на использование в любой области, где важна безопасность. Такие системы могут быть реализованы, используя специализированные микропроцессоры, программируемые логические контроллеры, многопроцессорные распределенные системы, системы на базе центрального процессора более широкого масштаба или другую архитектуру. Настоящий стандарт применим исключительно к программному обеспечению и взаимодействию между программным обеспечением и системой, частью которой оно является. Настоящий стандарт не применяется для программного обеспечения, которое было идентифицировано, как не оказывающее влияние на безопасность, т. е. для программного обеспечения, отказы которого не могут влиять ни на какие идентифицированные функции безопасности. Понятие УПБ 0 введено потому, что при оценке риска присутствует неопределенность и даже при идентификации опасностей. По крайней мере, требования УПБ 0 настоящего стандарта выполнены для программного обеспечения, оказывающего влияние на безопасность функций, у которых значение УПБ ниже УПБ 1)

Страница 30

Страница 1

Untitled document

ГОСТ Р ИСО 10303-43—2016

- на объект ссылается объект representation_item. связанный с объектом, представляющим кон

текст и играющим роль параметра cntxt настоящей функции. Для упомянутого объекта representation_

item функция ltem_in_contoxt возвращает значение TRUE (истина).

П р и м е ч а н и я

1 Второе из условий требует рекурсивной проверки, допускающей, что объект representation_item может

быть связан с объектом representation_context за счет того, что объект representation_item входит в дерево

связанных между собой экземпляров объекта representationjtem. Корнем дерева является экземпляр объекта,

для которого справедливо первое или второе условие связи собъектом representation_context представляющим

контекст представления.

2 Функция item_in_context проверяет только связь объекта, играющего роль параметра item с заданным

экземпляром объекта representation_context. Отношения объекта, играющего роль параметра item, с другими

экземплярами объекта representation_context не определяются.

EXPRESS-спеииФикаиия:

FUNCTION item_in_context {item : representation_item, cntxt : representation..

context) :BOOLEANr

LOCAL

у : BAG OF representation.,item;

END_LOCAL;

-- If there is one or more representation using both the item

-- and cntxt return true.

IF SIZEOF{USEDIN(item,’REPRESENTATION_SCHEMA.REPRESENTATION.ITEMS

’)

cntxt.representations_in_context) > 0 THEN

RETURN (TRUE);

-- Determine the bag of representation_items that reference

-- item

ELSE у ;= QUERY(z <• USEDIN litem , ‘ *) |

•REPRESENTATION..SCHEMA.REPRESENTATI0N_1TEM1 IN TYPEOF(Z));

— Ensure that the bag is not empty

IF SIZEOF<y> > 0 THEN

-- For each element in the bag

REPEAT i :» I TO HIINDEX(y);

-- Check to see it is an item in the input cntxt.

IF item_in_context(y[il, cntxt) THEN

RETURN (TRUE),*

END..IF;

END_REPEAT;

END_IF;

-- Return false when all possible branches have been checked

-- with no success.

RETURN (FALSE);

END.FUNCTION;

Определенно параметров:

item — объект representationjtem . проверяемый на отношение с объектом, играющим роль па

раметра cntxt. Это — входной параметр функции;

cntxt — объект ropresentation_contoxt. связь с которым проверяется. Это — входной параметр

функции.

4.5.4 Функция usingjtem s

Функция usingjtem s возвращает набор экземпляров объектов representation_ item или founded.,

item, которые ссылаются прямо или косвенно на экземпляр объекта representationjtem , играющий

роль параметра item настоящей функции.

EXPRESS-спеииФикаиия:

FUNCTION using_items

founded.item_select)

(item : founded_item_select, checked_items : SET[0:?] OF

:SET(0:?J OF founded_item_select;