ГОСТ Р ИСО 18629-43-2011; Страница 7

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

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

ГОСТ Р 27.405-2011 Надежность в технике. Отбраковочные испытания на ранние отказы сложных систем, изготавливаемых в единичных экземплярах Dependability in technics. Stress testing for early failures in unique complex system (Настоящий стандарт представляет собой руководство по повышению степени безотказности во время любых видов заключительных испытаний и приемо-сдаточных испытаний уникальных сложных систем. Он дает указания по проведению и выбору условий ускоренных испытаний и критериям их завершения. Слово «уникальный» означает отсутствие информации о подобных системах, а небольшое количество произведенных систем обусловливает ограниченность информации, извлекаемой из результатов испытаний для использования в будущем производстве похожих или аналогичных систем. Стандарт применим главным образом к большим системам аппаратных средств/ПО, но не относится к большим сетям, например телекоммуникационным и энергетическим, так как испытуемые части таких систем обычно не могут быть изолированы во время испытаний. Стандарт не распространяется на программное обеспечение, проверяемое отдельно, но изложенные в нем методы могут быть использованы во время испытаний больших вложенных программ в эксплуатационных аппаратных средствах, при моделировании эксплуатационных нагрузок) ГОСТ Р ИСО 18629-13-2011 Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 13. Теории продолжительности и упорядочения операций Industrial automation systems and integration. Process specification language. Part 13. Duration and ordering theories (В настоящем стандарте дано описание элементарных принципов, связанных с ограничениями продолжительности и упорядочения операций, а также рассмотрены следующие вопросы:. - упорядочение элементов субопераций;. - продолжительность операций;. - итерированное упорядочение операций;. - эндоморфизмы дерева операций;. - оболочки операций) ГОСТ Р ИСО 16100-5-2011 Системы промышленной автоматизации и интеграция. Профилирование возможности интероперабельности промышленных программных средств. Часть 5. Методология согласования конфигураций профилей с помощью многоцелевых структур классов возможностей Industrial automation systems and integration. Manufacturing software capability profiling for interoperability. Part 5. Methodology for profile matching using multiple capability class structures (В настоящем стандарте определены методы и правила согласования профилей возможностей существующих производственных программных модулей (MSU) с требуемыми профилями возможностей, получаемыми из многофункциональных структур классов возможностей. Эти методы и правила позволяют оценивать упомянутые MSU-модули в промышленных прикладных программах с точки зрения их функциональной совместимости и даже в некоторых случаях - с точки зрения взаимозаменяемости. Настоящий стандарт не распространяется на:. - услуги по созданию, регистрации и получению доступа к различным шаблонам для базовых производственных моделей, к производственным данным и структурам классов параметров;. - таблицу соответствия, в которой даны ссылки на услуги типа 1, указанные и определенные в ИСО 16100-3;. - дополнительные услуги, необходимые для управления этими шаблонами в базе данных или в эквивалентном ему хранилище информационных объектов)

Страница 7

Страница 1

Untitled document

ГОСТ Р ИСО 18629-43—2011

Н А Ц И О Н А

Ь Н Ы ЙС Т А Н Д А Р ТР О С С И Й С К О ЙФ Е Д Е Р А Ц И И

Системы промышленной автоматизации и интеграция

ЯЗЫК СПЕЦИФИКАЦИЙ ПРОЦЕССА

Ч а с т ь 43

Дефинициональные расширения: упорядочивание действий

и расширение продолжительности

Industrial automation systems and integration. Process specification language.

Part 43. Definitional extension. Activity ordering and duration extensions

Дата введения — 2012—09—01

1 Область применения

Настоящий стандарт устанавливает спецификацию непримитивных понятий языка программирова

ния. При этом используется наборопределений, написанных на языке, установленном в ИСО 18629. Дан

ные определения устанавливают аксиомы для терминологии всоответствиис ИС0 18629.

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

нологии в соответствии с ИСО 18629-13.

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

ных на состоянии понятий в соответствии с ИС0 18629-11 и ИС018629-12.

2 Нормативные ссылки

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

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

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

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

документов, включая любые поправки и изменения к ним:

ИСО/МЭК 8824-1 Информационные технологии. Нотация абстрактного синтаксиса версии 1(ASN.1).

Часть 1.Спецификация базовой нотации (ISO/IEC 8824-1, Information technology — Abstract Syntax Notation

One (ASN.1) — Part 1:Specification ofbasic notation)

ИС015531-1 Системы промышленной автоматизации иинтеграция. Управляющая информация про

мышленным производством. Часть 1.Общий обзор (IS015531-1. Industrial automation systems and integration

— Industrial manufacturing management data — Part 1:General overview)

ИС0 15531-42 Системы промышленнойавтоматизации иинтеграция.Управляющая информация про

мышленным производством. Часть42. Модельвремени (ISO 15531-42. Industrial automation systemsand

integration— Industrial manufacturing management data — Part 42: Time Model)

ИСО 18629-1:2004Системы промышленной автоматизации иинтеграция.Язык спецификаций процес

са. Часть 1. Обзор и основные принципы (ISO 18629-1:2004. Industrial automation systemsand integration —

Process specification language — Pari 1: Overviewand basic principles)

ИСО 18629-11;2005 Системы промышленной автоматизации иинтеграция. Язык спецификаций про

цесса. Часть 11. Ядро PSL (ISO 18629-11:2005. Industrial automation systems and integration — Process

specification language — Part 11: PSL core)

ИСО 18629-12 Системы промышленной автоматизации иинтеграция. Языкспецификаций процесса.

Часть 12. Внешнееядро (ISO 18629-12, Industrial automation systemsand integration — Process specification

language — Part 12: Outercore)

Издание официальное